OAI/GroupTheory/SimpleAmenable/Configurations/SlotInputGeneration.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.orderedTrackEquiv line 15
2. theorem OAI.SimpleAmenable.orderedTrackHom_bijective line 23
3. theorem OAI.SimpleAmenable.smallPermutation_fiveRepresentation line 38
4. theorem OAI.SimpleAmenable.InitialCoverSystem.polygonStar_initial_alphabet line 61
5. def OAI.SimpleAmenable.InitialCoverSystem.slotGroup line 79
6. theorem OAI.SimpleAmenable.InitialCoverSystem.slotGroup_mem line 85
7. theorem OAI.SimpleAmenable.InitialCoverSystem.translated_initial_mem_slotGroup line 94
8. theorem OAI.SimpleAmenable.InitialCoverSystem.slotGroup_eq_top line 127