OAI/GroupTheory/SimpleAmenable/PolygonGeometry/ChartQuadrants.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.coordinateRectangle_lift line 14
2. theorem OAI.SimpleAmenable.coordinateRectangle_sign line 30
3. theorem OAI.SimpleAmenable.coordinateRectangle_negative_sign line 47
4. theorem OAI.SimpleAmenable.northwest_quadrant_sign line 66
5. theorem OAI.SimpleAmenable.southeast_quadrant_sign line 83
6. theorem OAI.SimpleAmenable.ActualLawfulTable.sector_same_action line 107
7. theorem OAI.SimpleAmenable.InitialCoverSystem.fullGeometricSector_same_action line 124
8. theorem OAI.SimpleAmenable.InitialCoverSystem.chart_action_transfer line 140