OAI/GroupTheory/SimpleAmenable/PolygonGeometry/RectangularBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.coordinate_all_eventually line 16
2. theorem OAI.SimpleAmenable.exists_coordinate_cover line 35
3. theorem OAI.SimpleAmenable.finite_coordinate_windows_container line 51
4. theorem OAI.SimpleAmenable.InitialCoverSystem.all_windowSector_eq line 71
5. theorem OAI.SimpleAmenable.InitialCoverSystem.all_window_control line 87