OAI/Geometry/CylinderCovering/Radial/PairedSweepDefinitions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.RadialPairedSweep.Space line 12
  2. def OAI.CylinderCovering.RadialPairedSweep.point line 14
  3. def OAI.CylinderCovering.RadialPairedSweep.tetrahedron line 16
  4. def OAI.CylinderCovering.RadialPairedSweep.upperSweep line 19
  5. def OAI.CylinderCovering.RadialPairedSweep.lowerSweep line 24
  6. def OAI.CylinderCovering.RadialPairedSweep.upperAxis line 29
  7. def OAI.CylinderCovering.RadialPairedSweep.lowerAxis line 33
  8. def OAI.CylinderCovering.RadialPairedSweep.physicalCost line 37
  9. def OAI.CylinderCovering.RadialPairedSweep.PairedStatement line 41