OAI/RepresentationTheory/FoulkesSixth/SourceNewton.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Complete.degreeCompositionEquiv line 11
2. lemma OAI.Foulkes.Complete.powerAlphabet_eq_completePowers line 21
3. lemma OAI.Foulkes.Complete.pleth_newton_powers line 35
4. def OAI.Foulkes.Lookup.stripCoeff line 45
5. theorem OAI.Foulkes.Lookup.source_newton line 48