OAI/Combinatorics/ContingencyTables/Sampling/UnitOriginalVector.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.UnitCountPrograms.OptionalTrialInput line 11
  2. def OAI.ContingencyTables.UnitCountPrograms.optionalTrialInput line 13
  3. def OAI.ContingencyTables.UnitCountPrograms.optionalTrialInputRealizer line 15
  4. lemma OAI.ContingencyTables.UnitCountPrograms.polynomial_optionalTrialInput line 18
  5. def OAI.ContingencyTables.UnitCountPrograms.optionalTrialCount line 22
  6. def OAI.ContingencyTables.UnitCountPrograms.optionalTrialCountRealizer line 25
  7. def OAI.ContingencyTables.UnitCountPrograms.optionalTrialMeasure line 30
  8. lemma OAI.ContingencyTables.UnitCountPrograms.work_optionalTrialCount line 33
  9. abbrev OAI.ContingencyTables.UnitCountPrograms.TrialVectorInput line 48
  10. def OAI.ContingencyTables.UnitCountPrograms.trialVector line 50
  11. def OAI.ContingencyTables.UnitCountPrograms.trialVectorRealizer line 53
  12. def OAI.ContingencyTables.UnitCountPrograms.trialVectorMeasure line 60
  13. lemma OAI.ContingencyTables.UnitCountPrograms.work_trialVector line 64
  14. lemma OAI.ContingencyTables.SmallGraphProfiles.unit_trialVector_actual line 96