OAI/GroupTheory/SimpleAmenable/PolygonGeometry/PolygonGridComparison.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.SimpleAmenable.PolygonGrid.(instance at line 16) line 16
2. instance OAI.SimpleAmenable.PolygonGrid.(instance at line 19) line 19
3. instance OAI.SimpleAmenable.PolygonGrid.(instance at line 23) line 23
4. instance OAI.SimpleAmenable.PolygonGrid.(instance at line 27) line 27
5. theorem OAI.SimpleAmenable.PolygonGrid.volume_region line 31
6. theorem OAI.SimpleAmenable.PolygonGrid.compact_closure line 36
7. theorem OAI.SimpleAmenable.PolygonGrid.strict_grid_comparison line 45