OAI/RepresentationTheory/FoulkesSixth/YoungModules.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Young.permRep line 14
2. lemma OAI.Foulkes.Young.permRep_apply line 21
3. lemma OAI.Foulkes.Young.permRep_single line 25
4. def OAI.Foulkes.Young.matrixInvariants line 38
5. lemma OAI.Foulkes.Young.matrix_intertwining_iff line 46
6. def OAI.Foulkes.Young.intertwinerMatrix line 62
7. def OAI.Foulkes.Young.orbitFunctions line 78
8. def OAI.Foulkes.Young.orbitFunctionsEquiv line 85
9. def OAI.Foulkes.Young.matrixOrbitEquiv line 106
10. theorem OAI.Foulkes.Young.perm_hom_finrank line 114