OAI/Combinatorics/ContingencyTables/Sampling/SmallRepairWords.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Actual positive defects repair to the physical transversal words

  1. def OAI.ContingencyTables.SmallGraphProfiles.PositiveDefects line 19
  2. instance OAI.ContingencyTables.SmallGraphProfiles.positiveDefectsFintype line 23
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.defect_labels_exist line 28
  4. def OAI.ContingencyTables.SmallGraphProfiles.defectLabels line 35
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.defectLabels_spec line 39
  6. def OAI.ContingencyTables.SmallGraphProfiles.repairWord line 45
  7. lemma OAI.ContingencyTables.SmallGraphProfiles.repairWord_profile line 57
  8. theorem OAI.ContingencyTables.SmallGraphProfiles.repairWord_weight line 79
  9. theorem OAI.ContingencyTables.SmallGraphProfiles.repairWord_type_injective line 93