OAI/GroupTheory/SimpleAmenable/PolygonGeometry/ClippedIntervals.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.coordinateInterval_mem_lifted line 15
2. theorem OAI.SimpleAmenable.coordinateInterval_prefix_difference line 35
3. theorem OAI.SimpleAmenable.coordinateInterval_prefix_clip line 51
4. theorem OAI.SimpleAmenable.coordinateInterval_label_eq line 63
5. def OAI.SimpleAmenable.clippedLabel line 74
6. theorem OAI.SimpleAmenable.clippedLabel_bounds line 76
7. theorem OAI.SimpleAmenable.clippedLabel_label line 81
8. theorem OAI.SimpleAmenable.clippedLabel_mem line 88
9. theorem OAI.SimpleAmenable.coordinateInterval_anchor_formula line 95