OAI/Geometry/RuledCovering/TipCylinders.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RuledApproximation.IsTriangle.linear_image line 12
2. lemma OAI.RuledApproximation.IsTriangle.translate line 28
3. lemma OAI.RuledApproximation.Cylinder.rotate_triangle line 40
4. lemma OAI.RuledApproximation.Cylinder.translate_triangle line 44
5. lemma OAI.RuledApproximation.coneTriangle_triangle line 47
6. def OAI.RuledApproximation.lowerTipCylinder line 74
7. def OAI.RuledApproximation.upperTipCylinder line 77
8. lemma OAI.RuledApproximation.lowerTipCylinder_triangle line 80
9. lemma OAI.RuledApproximation.upperTipCylinder_triangle line 84
10. lemma OAI.RuledApproximation.lowerTipCylinder_area line 87
11. lemma OAI.RuledApproximation.upperTipCylinder_area line 95
12. lemma OAI.RuledApproximation.lowerTipCylinder_carrier line 99
13. lemma OAI.RuledApproximation.upperTip_image line 111
14. lemma OAI.RuledApproximation.upperTipCylinder_carrier line 127