OAI/Combinatorics/ContingencyTables/Transport/RawSmallChoiceProperties.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Balanced words are literal bounded physical transversal profiles

  1. lemma OAI.ContingencyTables.SmallContextEnumeration.rawChoice_bounded line 16
  2. lemma OAI.ContingencyTables.SmallContextEnumeration.rawChoice_balanced line 21
  3. lemma OAI.ContingencyTables.SmallContextEnumeration.rawChoice_injective line 25