OAI/Combinatorics/ContingencyTables/Sampling/SmallChainBudget.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Actual first-paper small-chain constants

  1. lemma OAI.ContingencyTables.small_chain_poincare_constant line 9
  2. lemma OAI.ContingencyTables.completion_rejection_lt_half line 19