OAI/Combinatorics/ContingencyTables/Sampling/RepairPrefixes.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Literal repair values and row-major prefix preservation

  1. lemma OAI.ContingencyTables.IsDefect.negative_entry line 12
  2. lemma OAI.ContingencyTables.repairMatrix_unchanged line 22
  3. lemma OAI.ContingencyTables.repairMatrix_special line 32
  4. def OAI.ContingencyTables.RowMajorBefore line 43
  5. lemma OAI.ContingencyTables.RowMajorBefore.trans line 47
  6. lemma OAI.ContingencyTables.RowMajorBefore.ne line 58
  7. theorem OAI.ContingencyTables.repairMatrix_prefix line 65