OAI/RepresentationTheory/FoulkesSixth/CompleteNewton.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Foulkes.Complete.Degree line 10
2. instance OAI.Foulkes.Complete.(instance at line 11) line 11
3. def OAI.Foulkes.Complete.h line 14
4. theorem OAI.Foulkes.Complete.coeff_h line 17
5. theorem OAI.Foulkes.Complete.h_zero line 34
6. lemma OAI.Foulkes.Complete.coeff_X_pow_h line 49
7. theorem OAI.Foulkes.Complete.newton line 66
8. def OAI.Foulkes.Complete.alphabetH line 102
9. theorem OAI.Foulkes.Complete.alphabetH_zero line 105
10. theorem OAI.Foulkes.Complete.alphabet_newton line 108
11. def OAI.Foulkes.Complete.pleth line 114
12. theorem OAI.Foulkes.Complete.pleth_zero line 117
13. theorem OAI.Foulkes.Complete.pleth_newton line 119