OAI/GroupTheory/SimpleAmenable/PolygonGeometry/LocalCoordinateClassifier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.circular_interval_on_short_cell line 14
2. theorem OAI.SimpleAmenable.translated_coordinate_fract line 64
3. theorem OAI.SimpleAmenable.windowRectangle_coordinate_classify line 82
4. theorem OAI.SimpleAmenable.window_cell_interval_constant line 138
5. theorem OAI.SimpleAmenable.coordinateInterval_planar line 179
6. theorem OAI.SimpleAmenable.windowRectangle_interval_constant line 192