OAI/RepresentationTheory/FoulkesSixth/PlethDual.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.PlethDual.equiv line 17
2. def OAI.Foulkes.PlethDual.flipEquiv line 20
3. lemma OAI.Foulkes.PlethDual.flipEquiv_apply line 23
4. lemma OAI.Foulkes.PlethDual.equiv_apply line 26
5. lemma OAI.Foulkes.PlethDual.natural line 29