OAI/RepresentationTheory/FoulkesSixth/LookupExtraction.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.Lookup.strictAnti_gap line 11
2. lemma OAI.Foulkes.Lookup.staircase_le_of_strictAnti line 25
3. lemma OAI.Foulkes.Lookup.sortedPartition_antitone line 34
4. lemma OAI.Foulkes.Lookup.shifted_sortedPartition line 46
5. def OAI.Foulkes.Lookup.signedLookup line 51
6. def OAI.Foulkes.Lookup.coeffZ line 60
7. theorem OAI.Foulkes.Lookup.signedLookup_eq_coeffZ line 64
8. lemma OAI.Foulkes.Lookup.coeffZ_monomial_mul line 84
9. theorem OAI.Foulkes.Lookup.target_newton line 100