OAI/RepresentationTheory/FoulkesSixth/CompositionEnumeration.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Enumeration.compositions line 11
2. lemma OAI.Foulkes.Enumeration.mem_compositions line 16
3. lemma OAI.Foulkes.Enumeration.nodup_compositions line 45
4. def OAI.Foulkes.Enumeration.compositionSet line 60
5. lemma OAI.Foulkes.Enumeration.mem_compositionSet line 62
6. def OAI.Foulkes.Enumeration.degreeComposition line 66