OAI/RepresentationTheory/PartialPermutation/SpechtModules.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartialPermutation.YoungTabloid.spechtSub line 13
2. lemma OAI.PartialPermutation.YoungTabloid.polytabloid_mem_specht line 25
3. lemma OAI.PartialPermutation.YoungTabloid.specht_le_of_polytabloid_mem line 29
4. lemma OAI.PartialPermutation.YoungTabloid.antisym_mem_invariant line 35
5. lemma OAI.PartialPermutation.YoungTabloid.specht_detect line 42
6. lemma OAI.PartialPermutation.YoungTabloid.specht_minimal line 58
7. def OAI.PartialPermutation.YoungTabloid.spechtRep line 73
8. instance OAI.PartialPermutation.YoungTabloid.specht_irreducible line 75