OAI/RepresentationTheory/PartialPermutation/Interleavings.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PartialPermutation.Tableau.interleaving_compl_card line 16
2. def OAI.PartialPermutation.Tableau.interleavingEnumeration line 21
3. lemma OAI.PartialPermutation.Tableau.interleavingEnumeration_pos line 28
4. lemma OAI.PartialPermutation.Tableau.interleavingEnumeration_neg line 35
5. def OAI.PartialPermutation.Tableau.interleaveFilling line 43
6. lemma OAI.PartialPermutation.Tableau.interleaveFilling_injective line 58
7. lemma OAI.PartialPermutation.Tableau.interleaving_binomial_lower_bound line 83