OAI/Combinatorics/ContingencyTables/Rooted/LargeMarginProgram.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Computing the large rectangle and its padded margins

  1. def OAI.ContingencyTables.ProfilePrograms.largeIndexTest line 12
  2. def OAI.ContingencyTables.ProfilePrograms.largeIndexTestRealizer line 15
  3. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_largeIndexTest line 19
  4. def OAI.ContingencyTables.ProfilePrograms.largeIndices line 26
  5. def OAI.ContingencyTables.ProfilePrograms.largeIndicesRealizer line 29
  6. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_largeIndices line 33
  7. def OAI.ContingencyTables.ProfilePrograms.selectList line 44
  8. def OAI.ContingencyTables.ProfilePrograms.selectListRealizer line 47
  9. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_selectList line 50
  10. def OAI.ContingencyTables.ProfilePrograms.largePaddedMargins line 55
  11. def OAI.ContingencyTables.ProfilePrograms.largePaddedMarginsRealizer line 58
  12. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_largePaddedMargins line 64
  13. def OAI.ContingencyTables.ProfilePrograms.profilePaddedMargins line 72
  14. def OAI.ContingencyTables.ProfilePrograms.profilePaddedMarginsRealizer line 77
  15. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_profilePaddedMargins line 81
  16. lemma OAI.ContingencyTables.ProfilePrograms.mem_largeIndices line 87
  17. lemma OAI.ContingencyTables.ProfilePrograms.largeIndices_nodup line 91
  18. lemma OAI.ContingencyTables.ProfilePrograms.largePaddedMargins_eq line 94