OAI/Combinatorics/ContingencyTables/Sampling/ExactPrefixFeasibility.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Feasibility is preserved on both branches and every finite retry prefix

  1. def OAI.ContingencyTables.SmallGraphProfiles.FeasibleCode line 18
  2. def OAI.ContingencyTables.SmallGraphProfiles.FeasibleOutcome line 20
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.exactOrdinary_feasible line 22
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.exactTrial_feasible line 32
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.correctionPrefix_feasible line 43
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.exactPrefix_feasible line 56