OAI/Geometry/CylinderCovering/Rational/Wedge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SlopeRational.tiltedMap_wall_plus line 10
2. lemma OAI.SlopeRational.tiltedMap_wall_minus line 23
3. lemma OAI.SlopeRational.mem_wedge_iff_walls line 36
4. lemma OAI.SlopeRational.rectangle_wall_coefficients_bounded line 46
5. theorem OAI.SlopeRational.rectangleWedge_main line 76
6. theorem OAI.SlopeRational.uniform_wedge_inverse line 108