OAI/Geometry/CylinderCovering/Angular/GeometryDefinitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.AngularGeometry.Plane line 8
2. abbrev OAI.AngularGeometry.Space line 9
3. def OAI.AngularGeometry.lowerCarrier line 11
4. def OAI.AngularGeometry.upperCarrier line 15
5. def OAI.AngularGeometry.areaFactor line 19