OAI/Combinatorics/ContingencyTables/Counting/CountingBranchBudgetBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Combining the computed counting branches' public word budgets

  1. def OAI.ContingencyTables.CountingBranchProgram.budgetPolynomial line 12
  2. lemma OAI.ContingencyTables.CountingBranchProgram.publicBudget_bound line 15