OAI/Geometry/CylinderCovering/Beams/sDefinitions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ShortenedBeam.Space line 8
  2. def OAI.ShortenedBeam.point line 10
  3. def OAI.ShortenedBeam.tetrahedron line 12
  4. def OAI.ShortenedBeam.leftCoordinates line 15
  5. def OAI.ShortenedBeam.beamMinus line 20
  6. def OAI.ShortenedBeam.beamPlus line 23
  7. def OAI.ShortenedBeam.velocity line 26
  8. def OAI.ShortenedBeam.axisMinus line 29
  9. def OAI.ShortenedBeam.axisPlus line 32
  10. def OAI.ShortenedBeam.drift line 35
  11. def OAI.ShortenedBeam.width line 37
  12. def OAI.ShortenedBeam.strip line 40