OAI/Geometry/CylinderCovering/Caps/CapsDefinitions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.HalfHeightCaps.alpha line 8
  2. def OAI.CylinderCovering.HalfHeightCaps.beta line 9
  3. def OAI.CylinderCovering.HalfHeightCaps.F line 10
  4. def OAI.CylinderCovering.HalfHeightCaps.cubicCap line 11
  5. def OAI.CylinderCovering.HalfHeightCaps.fractionalCap line 12
  6. def OAI.CylinderCovering.HalfHeightCaps.Covered line 14
  7. def OAI.CylinderCovering.HalfHeightCaps.CoverageStatement line 21
  8. def OAI.CylinderCovering.HalfHeightCaps.CompensationStatement line 28
  9. def OAI.CylinderCovering.HalfHeightCaps.physicalPoint line 35
  10. def OAI.CylinderCovering.HalfHeightCaps.physicalTetrahedron line 38
  11. def OAI.CylinderCovering.HalfHeightCaps.firstPhysicalSweep line 41
  12. def OAI.CylinderCovering.HalfHeightCaps.secondPhysicalSweep line 46
  13. def OAI.CylinderCovering.HalfHeightCaps.PhysicalCoverageStatement line 51