OAI/Geometry/CylinderCovering/Angular/MarginsDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.Cubic.step line 8
  2. def OAI.CylinderCovering.Cubic.node line 10
  3. def OAI.CylinderCovering.Cubic.alpha line 12
  4. def OAI.CylinderCovering.Cubic.beta line 14
  5. def OAI.CylinderCovering.Cubic.profile line 16
  6. def OAI.CylinderCovering.Cubic.profileMax line 18
  7. def OAI.CylinderCovering.Cubic.cap line 20
  8. def OAI.CylinderCovering.Cubic.Sector line 22
  9. def OAI.CylinderCovering.Cubic.LowerHit line 24
  10. def OAI.CylinderCovering.Cubic.UpperHit line 31