OAI/Geometry/CylinderCovering/Angular/GeneralTriangles.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.AngularGeneral.radial_parameters line 12
2. lemma OAI.CylinderCovering.AngularGeneral.lowerIntercept_eq_triangle line 31
3. lemma OAI.CylinderCovering.AngularGeneral.upperIntercept_eq_triangle line 54
4. lemma OAI.CylinderCovering.AngularGeneral.lowerBase_eq_constantCylinder line 77
5. lemma OAI.CylinderCovering.AngularGeneral.upperBase_eq_constantCylinder line 92
6. theorem OAI.CylinderCovering.AngularGeneral.constant_cap_triangular line 107