OAI/Geometry/CylinderCovering/Rational/GlobalTopology.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SlopeRational.mem_interior_wedge_iff line 10
2. theorem OAI.SlopeRational.mem_interior_wedge_iff_walls line 41
3. theorem OAI.SlopeRational.mem_frontier_wedge_iff line 52
4. theorem OAI.SlopeRational.global_mem_interior_iff line 62
5. theorem OAI.SlopeRational.global_mem_frontier_iff line 69
6. theorem OAI.SlopeRational.global_image_interior line 76
7. theorem OAI.SlopeRational.global_image_frontier line 87