OAI/Combinatorics/ContingencyTables/Sampling/SmallCellCatalogProgram.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Enumerating the actual small cells from binary margins

  1. def OAI.ContingencyTables.ProfilePrograms.pairAt line 11
  2. def OAI.ContingencyTables.ProfilePrograms.pairAtRealizer line 13
  3. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_pairAt line 16
  4. def OAI.ContingencyTables.ProfilePrograms.cellPairCodes line 20
  5. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_cellPairCodes line 25
  6. def OAI.ContingencyTables.ProfilePrograms.cellPairs line 36
  7. def OAI.ContingencyTables.ProfilePrograms.cellPairsRealizer line 39
  8. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_cellPairs line 42
  9. lemma OAI.ContingencyTables.ProfilePrograms.mem_cellPairs line 47
  10. abbrev OAI.ContingencyTables.ProfilePrograms.CellCatalogInput line 60
  11. def OAI.ContingencyTables.ProfilePrograms.smallCellTest line 62
  12. def OAI.ContingencyTables.ProfilePrograms.smallCellTestRealizer line 65
  13. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_smallCellTest line 80
  14. def OAI.ContingencyTables.ProfilePrograms.smallCellCatalog line 96
  15. def OAI.ContingencyTables.ProfilePrograms.smallCellCatalogRealizer line 99
  16. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_smallCellCatalog line 102
  17. theorem OAI.ContingencyTables.ProfilePrograms.mem_smallCellCatalog line 107