OAI/Combinatorics/ContingencyTables/Sampling/OriginalTrialVector.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Computing trial counts on every original-table candidate

  1. abbrev OAI.ContingencyTables.ProfilePrograms.OptionalTrialInput line 11
  2. def OAI.ContingencyTables.ProfilePrograms.optionalTrialInput line 13
  3. def OAI.ContingencyTables.ProfilePrograms.optionalTrialInputRealizer line 15
  4. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_optionalTrialInput line 18
  5. def OAI.ContingencyTables.ProfilePrograms.optionalTrialCount line 22
  6. def OAI.ContingencyTables.ProfilePrograms.optionalTrialCountRealizer line 25
  7. def OAI.ContingencyTables.ProfilePrograms.optionalTrialMeasure line 30
  8. lemma OAI.ContingencyTables.ProfilePrograms.work_optionalTrialCount line 33
  9. abbrev OAI.ContingencyTables.ProfilePrograms.TrialVectorInput line 48
  10. def OAI.ContingencyTables.ProfilePrograms.trialVector line 50
  11. def OAI.ContingencyTables.ProfilePrograms.trialVectorRealizer line 53
  12. def OAI.ContingencyTables.ProfilePrograms.trialVectorMeasure line 60
  13. lemma OAI.ContingencyTables.ProfilePrograms.work_trialVector line 64
  14. lemma OAI.ContingencyTables.SmallGraphProfiles.trialVector_actual line 98