OAI/Combinatorics/ContingencyTables/Counting/CountingMarkerBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Polynomial space for the executed power-approximation markers

  1. def OAI.ContingencyTables.CountingMarkerBounds.paddingPolynomial line 11
  2. lemma OAI.ContingencyTables.CountingMarkerBounds.inner_inverse_bound line 13
  3. lemma OAI.ContingencyTables.CountingMarkerBounds.degree_bound line 26
  4. lemma OAI.ContingencyTables.CountingMarkerBounds.padding_bound line 40