OAI/RepresentationTheory/FoulkesSixth/FastLookup.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.FastLookup.coeffZ_comp line 11
2. abbrev OAI.Foulkes.FastLookup.State line 22
3. def OAI.Foulkes.FastLookup.compareStep line 24
4. lemma OAI.Foulkes.FastLookup.compareStep_sound line 27
5. def OAI.Foulkes.FastLookup.run line 38
6. lemma OAI.Foulkes.FastLookup.run_sound line 41
7. def OAI.Foulkes.FastLookup.network line 49
8. def OAI.Foulkes.FastLookup.finish line 53
9. lemma OAI.Foulkes.FastLookup.finish_sound line 60
10. def OAI.Foulkes.FastLookup.checkedLookup line 91
11. theorem OAI.Foulkes.FastLookup.checkedLookup_sound line 94
12. example OAI.Foulkes.FastLookup.(example at line 113) line 113
13. example OAI.Foulkes.FastLookup.(example at line 115) line 115
14. example OAI.Foulkes.FastLookup.(example at line 117) line 117