OAI/GroupTheory/SimpleAmenable/PolygonGeometry/CellGeometry.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.coordinateInterval_union line 14
2. theorem OAI.SimpleAmenable.coordinateInterval_nonempty line 33
3. theorem OAI.SimpleAmenable.windowCell_nonempty line 53
4. theorem OAI.SimpleAmenable.windowCell_axis_resolved line 60