OAI/RepresentationTheory/FoulkesSixth/FastLookupExact.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.FastLookup.compareStep_perm line 11
2. lemma OAI.Foulkes.FastLookup.run_perm line 22
3. lemma OAI.Foulkes.FastLookup.finish_perm_exact line 36
4. theorem OAI.Foulkes.FastLookup.checkedLookup_exact line 74