OAI/Geometry/CylinderCovering/Angular/CapsDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AngularCaps.d line 9
2. def OAI.AngularCaps.squaredRadius line 11
3. def OAI.AngularCaps.radialParameterSet line 14
4. def OAI.AngularCaps.radialMap line 17
5. def OAI.AngularCaps.radialSector line 19
6. def OAI.AngularCaps.radialBandParameters line 22
7. def OAI.AngularCaps.radialBand line 25
8. def OAI.AngularCaps.pairToPlane line 28
9. def OAI.AngularCaps.euclideanRadialSector line 30
10. def OAI.AngularCaps.euclideanRadialBand line 33