OAI/Combinatorics/ContingencyTables/Counting/CountingDirectWordBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Public word budget for the direct zero-label estimator

  1. def OAI.ContingencyTables.CountingDirectWordBound.controlPolynomial line 13
  2. def OAI.ContingencyTables.CountingDirectWordBound.wordPolynomial line 14
  3. lemma OAI.ContingencyTables.CountingDirectWordBound.zeroBits_public line 16