OAI/Geometry/CylinderCovering/Angular/ZeroTilt.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularCovering.AngularZeroTiltSource.lower line 10
2. def OAI.TriangularCovering.AngularZeroTiltSource.upper line 14
3. def OAI.TriangularCovering.AngularZeroTiltSource.family line 18
4. theorem OAI.TriangularCovering.AngularZeroTiltSource.lower_axis line 20
5. theorem OAI.TriangularCovering.AngularZeroTiltSource.upper_axis line 24
6. theorem OAI.TriangularCovering.AngularZeroTiltSource.lower_carrier line 28
7. theorem OAI.TriangularCovering.AngularZeroTiltSource.upper_carrier line 33
8. theorem OAI.TriangularCovering.AngularZeroTiltSource.covers line 38
9. theorem OAI.TriangularCovering.AngularZeroTiltSource.lower_area line 58
10. theorem OAI.TriangularCovering.AngularZeroTiltSource.upper_area line 63
11. theorem OAI.TriangularCovering.AngularZeroTiltSource.total_area line 68
12. theorem OAI.TriangularCovering.AngularZeroTiltSource.relative_cost line 74