OAI/Combinatorics/ContingencyTables/Machines/FiniteFairBits.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Finite binary words and their exact uniform experiment laws

  1. def OAI.ContingencyTables.FairBits.binaryWordEquiv line 16
  2. def OAI.ContingencyTables.FairBits.splitWordEquiv line 19
  3. def OAI.ContingencyTables.FairBits.pairWordEquiv line 23
  4. theorem OAI.ContingencyTables.FairBits.uniform_equiv line 28
  5. theorem OAI.ContingencyTables.FairBits.uniform_product line 35
  6. theorem OAI.ContingencyTables.FairBits.map_equiv line 44