OAI/Geometry/CylinderCovering/Physical/FiniteDefinitions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RadialPhysical.axialBound line 11
  2. def OAI.RadialPhysical.modelBody line 13
  3. def OAI.RadialPhysical.upperPoint line 18
  4. def OAI.RadialPhysical.lowerPoint line 21
  5. def OAI.RadialPhysical.upperSweepOn line 25
  6. def OAI.RadialPhysical.lowerSweepOn line 29
  7. def OAI.RadialPhysical.upperPhysicalAxis line 33
  8. def OAI.RadialPhysical.lowerPhysicalAxis line 37
  9. def OAI.RadialPhysical.upperPhysicalBase line 41
  10. def OAI.RadialPhysical.lowerPhysicalBase line 46
  11. def OAI.RadialPhysical.physicalActualCost line 51
  12. def OAI.RadialPhysical.physicalBaseProperties line 56
  13. def OAI.RadialPhysical.PhysicalFiniteStatement line 60