OAI/Combinatorics/ContingencyTables/Sampling/SmallRepairListProgram.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Polynomial lists of encoded forward and inverse repairs

  1. def OAI.ContingencyTables.ProfilePrograms.repairRows line 10
  2. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_repairRowsData line 13
  3. def OAI.ContingencyTables.ProfilePrograms.repairPairs line 16
  4. def OAI.ContingencyTables.ProfilePrograms.repairPairsRealizer line 18
  5. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_repairPairs line 21
  6. def OAI.ContingencyTables.ProfilePrograms.forwardRepairLabels line 25
  7. def OAI.ContingencyTables.ProfilePrograms.forwardRepairLabelsRealizer line 28
  8. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_forwardRepairLabels line 31
  9. def OAI.ContingencyTables.ProfilePrograms.forwardRepairList line 35
  10. def OAI.ContingencyTables.ProfilePrograms.forwardRepairListRealizer line 38
  11. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_forwardRepairList line 41
  12. def OAI.ContingencyTables.ProfilePrograms.inverseRepairList line 45
  13. def OAI.ContingencyTables.ProfilePrograms.inverseRepairListRealizer line 48
  14. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_inverseRepairList line 51
  15. lemma OAI.ContingencyTables.ProfilePrograms.repairPairs_length line 55
  16. theorem OAI.ContingencyTables.ProfilePrograms.forwardRepairList_length line 58
  17. theorem OAI.ContingencyTables.ProfilePrograms.inverseRepairList_length line 63
  18. theorem OAI.ContingencyTables.SmallGraphProfiles.mem_forwardRepairList line 77