OAI/Combinatorics/ContingencyTables/Transport/PairedLabels.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The actual doubled labels form disjoint covering slots

  1. lemma OAI.ContingencyTables.PairedLabels.mapped_fresh line 14
  2. theorem OAI.ContingencyTables.PairedLabels.fresh line 34
  3. theorem OAI.ContingencyTables.PairedLabels.cover line 37
  4. theorem OAI.ContingencyTables.PairedLabels.length line 45