OAI/RepresentationTheory/FoulkesSixth/Diagonal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Diagonal.exponent line 12
2. lemma OAI.Foulkes.Diagonal.exponent_id line 14
3. lemma OAI.Foulkes.Diagonal.bijective_of_exponent_eq line 16
4. def OAI.Foulkes.Diagonal.expansion line 33
5. lemma OAI.Foulkes.Diagonal.eval_expansion line 38
6. theorem OAI.Foulkes.Diagonal.eq_zero_of_symmetric_of_diagonal line 58