OAI/RepresentationTheory/FoulkesSixth/Collision.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Collision.distinctSum line 13
2. lemma OAI.Foulkes.Collision.prod_update line 17
3. lemma OAI.Foulkes.Collision.distinctSum_cons line 31
4. lemma OAI.Foulkes.Collision.recurrence line 44
5. example OAI.(example at line 78) line 78
6. example OAI.(example at line 82) line 82
7. example OAI.(example at line 90) line 90
8. example OAI.(example at line 97) line 97