OAI/Combinatorics/ContingencyTables/Counting/CountingDirectBudgetBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Public runtime allowance for the direct branch's padded random word

  1. def OAI.ContingencyTables.CountingDirectBudgetBound.budgetPolynomial line 14
  2. lemma OAI.ContingencyTables.CountingDirectBudgetBound.budget_public line 17