OAI/RepresentationTheory/FoulkesSixth/Lookup.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Complete.degreeEquiv line 12
2. theorem OAI.Foulkes.Complete.rename_h line 24
3. theorem OAI.Foulkes.Complete.alphabetH_reindex line 29
4. theorem OAI.Foulkes.Complete.rename_pleth line 35
5. def OAI.Foulkes.Lookup.Alternating line 51
6. lemma OAI.Foulkes.Lookup.alternant_alternating line 54
7. lemma OAI.Foulkes.Lookup.alternating_mul_symmetric line 67
8. lemma OAI.Foulkes.Lookup.mapDomain_expVector line 73
9. lemma OAI.Foulkes.Lookup.coeff_comp line 78
10. lemma OAI.Foulkes.Lookup.coeff_eq_sign_mul_comp line 90
11. lemma OAI.Foulkes.Lookup.coeff_repeated line 97
12. def OAI.Foulkes.Lookup.sortDesc line 113
13. lemma OAI.Foulkes.Lookup.sortDesc_antitone line 116
14. lemma OAI.Foulkes.Lookup.sortDesc_strict line 121
15. def OAI.Foulkes.Lookup.sortedPartition line 125
16. def OAI.Foulkes.Lookup.schurCoeff line 128
17. def OAI.Foulkes.Lookup.Q line 131
18. def OAI.Foulkes.Lookup.F line 132