OAI/RepresentationTheory/PartialPermutation/SpechtShapes.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PartialPermutation.YoungTabloid.polytabloid_specht_sign line 13
2. lemma OAI.PartialPermutation.YoungTabloid.cross_transversal_of_specht_map line 22
3. lemma OAI.PartialPermutation.YoungTabloid.specht_map_rowMoment_le line 62
4. theorem OAI.PartialPermutation.YoungTabloid.specht_equiv_shape_eq line 70