OAI/Geometry/CylinderCovering/Cubic/LowerGeometry.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CubicLowerGeometry.vertices line 12
2. lemma OAI.CubicLowerGeometry.triple line 15
3. lemma OAI.CubicLowerGeometry.triple_ne_zero line 24
4. def OAI.CubicLowerGeometry.lowerCylinder line 34
5. lemma OAI.CubicLowerGeometry.lowerCylinder_axis line 40
6. lemma OAI.CubicLowerGeometry.lowerCylinder_area line 44
7. lemma OAI.CubicLowerGeometry.triangle_mem line 53
8. lemma OAI.CubicLowerGeometry.triangle_mem_iff line 66
9. lemma OAI.CubicLowerGeometry.lowerCylinder_hit line 90