OAI/RepresentationTheory/FoulkesSixth/SignedStrips.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Strips.staircase line 11
2. def OAI.Foulkes.Strips.shifted line 13
3. lemma OAI.Foulkes.Strips.staircase_antitone line 15
4. lemma OAI.Foulkes.Strips.shifted_antitone line 20
5. lemma OAI.Foulkes.Strips.shifted_sum line 24
6. def OAI.Foulkes.Strips.stripCoeff line 30
7. theorem OAI.Foulkes.Strips.signed_strips line 33