OAI/GroupTheory/SimpleAmenable/Configurations/PolygonGroupoidTracks.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.standard line 17
2. def OAI.SimpleAmenable.PolygonObject.standardPointEquiv line 19
3. def OAI.SimpleAmenable.PolygonObject.fullGroupArrow line 25
4. def OAI.SimpleAmenable.PolygonObject.fullGroupOfArrow line 40
5. theorem OAI.SimpleAmenable.PolygonObject.arrow_fullGroup line 54
6. theorem OAI.SimpleAmenable.PolygonObject.fullGroup_arrow line 61
7. theorem OAI.SimpleAmenable.PolygonObject.fullGroupArrow_injective line 68
8. theorem OAI.SimpleAmenable.PolygonObject.fullGroupOfArrow_injective line 72
9. def OAI.SimpleAmenable.PolygonObject.standardAutEquiv line 76