OAI/GroupTheory/SimpleAmenable/Configurations/PolygonAlternatingStabilization.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_threeSlot line 17
2. theorem OAI.SimpleAmenable.PolygonTracks.stabilize_mem_alternating line 43
3. def OAI.SimpleAmenable.PolygonTracks.stabilizeAlternating line 52
4. theorem OAI.SimpleAmenable.PolygonTracks.stabilizeAlternating_val line 56
5. theorem OAI.SimpleAmenable.PolygonTracks.stabilizeAlternating_injective line 59
6. theorem OAI.SimpleAmenable.PolygonTracks.exists_alternating_agrees_right line 64