OAI/Combinatorics/ContingencyTables/Counting/CountingCoefficientBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Numeric polynomial bounds for the computed terminal coefficient

  1. lemma OAI.ContingencyTables.CountingCoefficientBounds.precision_le line 12
  2. lemma OAI.ContingencyTables.CountingCoefficientBounds.allowance_le line 18
  3. lemma OAI.ContingencyTables.CountingCoefficientBounds.coefficient_le line 24
  4. def OAI.ContingencyTables.CountingCoefficientBounds.coefficientPolynomial line 39
  5. lemma OAI.ContingencyTables.CountingCoefficientBounds.coefficient_polynomial line 41