OAI/Combinatorics/ContingencyTables/Sampling/ExactPrefixLaw.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The actual finite prefixes of the fixed exact-sampling program

  1. lemma OAI.ContingencyTables.ExactCoreProgram.bool_mean line 11
  2. lemma OAI.ContingencyTables.ExactCoreProgram.prefix_mean line 22
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.exactOrdinary_mean line 50
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.table_event_average line 57
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.exactOrdinary_mass line 75
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.exactPrefix_failure line 82
  7. lemma OAI.ContingencyTables.SmallGraphProfiles.exactPrefix_limit line 97