OAI/Combinatorics/ContingencyTables/Counting/CountingAmplifiedLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact law and public word budget of outer confidence repetition

  1. theorem OAI.ContingencyTables.CountingAmplifiedProgram.sameLaw line 16
  2. lemma OAI.ContingencyTables.CountingAmplifiedProgram.repeats_request line 41
  3. def OAI.ContingencyTables.CountingAmplifiedProgram.budgetPolynomial line 47
  4. lemma OAI.ContingencyTables.CountingAmplifiedProgram.budget_bound line 49