OAI/RepresentationTheory/PartialPermutation/Truncation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartialPermutation.Tableau.truncateLower line 12
2. lemma OAI.PartialPermutation.Tableau.mem_truncateLower line 31
3. lemma OAI.PartialPermutation.Tableau.truncateLower_le line 39
4. lemma OAI.PartialPermutation.Tableau.truncateLower_topRow line 45
5. def OAI.PartialPermutation.Tableau.truncatedLowerEquiv line 60
6. lemma OAI.PartialPermutation.Tableau.truncateLower_card line 95
7. lemma OAI.PartialPermutation.Tableau.binomial_lower_bound line 105