OAI/GroupTheory/SimpleAmenable/PolygonGeometry/IntersectionControl.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.ActualLawfulTable.sector_split line 19
2. theorem OAI.SimpleAmenable.ActualLawfulTable.sector_four_factors line 26
3. theorem OAI.SimpleAmenable.table_small_control_intersection line 43
4. theorem OAI.SimpleAmenable.resolvedPolygonMask_inter line 70
5. theorem OAI.SimpleAmenable.InitialCoverSystem.fullGeometricSector_intersection_control line 87
6. def OAI.SimpleAmenable.coordinateRectangle line 112
7. theorem OAI.SimpleAmenable.InitialCoverSystem.old_rectangle_bridge_control line 120