OAI/GroupTheory/SimpleAmenable/Configurations/PolygonTrackArea.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonGrid.trackUnion line 17
2. theorem OAI.SimpleAmenable.PolygonGrid.mem_trackUnion line 20
3. theorem OAI.SimpleAmenable.PolygonGrid.trackUnion_mono line 30
4. theorem OAI.SimpleAmenable.PolygonGrid.trackUnion_region line 36
5. theorem OAI.SimpleAmenable.PolygonGrid.volume_trackUnion line 42
6. theorem OAI.SimpleAmenable.PolygonGrid.bank_representative line 53
7. theorem OAI.SimpleAmenable.PolygonGrid.polygon_grid_comparison line 89