OAI/Combinatorics/ContingencyTables/Sampling/SmallDefectLabels.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The defect coordinates are determined by the two integer views

  1. theorem OAI.ContingencyTables.IsDefect.labels_unique line 11
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.defectLabels_eq_of_spec line 38