OAI/Geometry/CylinderCovering/Physical/UnitEdgeFootprintsDefinitions.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.UnitEdgeFootprints.Space line 9
  2. def OAI.CylinderCovering.UnitEdgeFootprints.height line 11
  3. def OAI.CylinderCovering.UnitEdgeFootprints.intercept line 13
  4. def OAI.CylinderCovering.UnitEdgeFootprints.rawDirection line 15
  5. def OAI.CylinderCovering.UnitEdgeFootprints.axis line 18
  6. def OAI.CylinderCovering.UnitEdgeFootprints.vertices line 20
  7. def OAI.CylinderCovering.UnitEdgeFootprints.foot line 25
  8. def OAI.CylinderCovering.UnitEdgeFootprints.base line 27
  9. def OAI.CylinderCovering.UnitEdgeFootprints.representedPoint line 30
  10. def OAI.CylinderCovering.UnitEdgeFootprints.areaFormula line 33
  11. def OAI.CylinderCovering.UnitEdgeFootprints.LocalRealizationStatement line 37
  12. def OAI.CylinderCovering.UnitEdgeFootprints.sourceCap line 45
  13. def OAI.CylinderCovering.UnitEdgeFootprints.sweep line 48
  14. def OAI.CylinderCovering.UnitEdgeFootprints.mesh line 52
  15. def OAI.CylinderCovering.UnitEdgeFootprints.midpoint line 54
  16. def OAI.CylinderCovering.UnitEdgeFootprints.maximumCap line 58
  17. def OAI.CylinderCovering.UnitEdgeFootprints.limitingArea line 61
  18. def OAI.CylinderCovering.UnitEdgeFootprints.FamilyRealizationStatement line 65