OAI/Combinatorics/ContingencyTables/Sampling/RepairLargeMass.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A repair adds at most one unit outside the retained small cells

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.repair_large_value line 16
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.repair_large_row_le_one line 31
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.repair_large_column_le_one line 49