OAI/GroupTheory/SimpleAmenable/PolygonGeometry/WindowClipping.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.window_cell_enclosure line 14
2. theorem OAI.SimpleAmenable.clippedSlope_le_box line 34
3. theorem OAI.SimpleAmenable.windowRectangle_clipping_chart line 51
4. theorem OAI.SimpleAmenable.windowRectangle_clipped_sign line 78
5. theorem OAI.SimpleAmenable.windowRectangle_slope_classifier line 109
6. theorem OAI.SimpleAmenable.windowRectangle_crossing_line_point line 139