OAI/Combinatorics/ContingencyTables/Sampling/OriginalTableCardinality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Computing the number of feasible original-table box entries

  1. def OAI.ContingencyTables.ProfilePrograms.originalCardEntry line 11
  2. def OAI.ContingencyTables.ProfilePrograms.originalCardEntryRealizer line 13
  3. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_originalCardEntry line 16
  4. def OAI.ContingencyTables.ProfilePrograms.originalCardinality line 19
  5. def OAI.ContingencyTables.ProfilePrograms.originalCardinalityRealizer line 22
  6. lemma OAI.ContingencyTables.ProfilePrograms.work_originalCardinality line 26
  7. lemma OAI.ContingencyTables.ProfilePrograms.originalCardinality_actual line 31