OAI/Geometry/CylinderCovering/Beams/StripDefinitions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.BeamStrip.Plane line 11
  2. abbrev OAI.CylinderCovering.BeamStrip.Space line 12
  3. def OAI.CylinderCovering.BeamStrip.vec line 14
  4. def OAI.CylinderCovering.BeamStrip.vertical line 16
  5. def OAI.CylinderCovering.BeamStrip.denominator line 18
  6. def OAI.CylinderCovering.BeamStrip.normal line 20
  7. def OAI.CylinderCovering.BeamStrip.axis line 23
  8. def OAI.CylinderCovering.BeamStrip.rectangle line 26
  9. def OAI.CylinderCovering.BeamStrip.cylinder line 29
  10. def OAI.CylinderCovering.BeamStrip.area line 32
  11. def OAI.CylinderCovering.BeamStrip.strip line 34
  12. def OAI.CylinderCovering.BeamStrip.IsHorizontalRectangle line 38
  13. def OAI.CylinderCovering.BeamStrip.IsRectangle line 42
  14. def OAI.CylinderCovering.BeamStrip.HasRectangularBase line 47