OAI/Geometry/CylinderCovering/Beams/ProjectionFactorDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ShortenedBeam.ProjectionFactor.Plane line 15
  2. def OAI.ShortenedBeam.ProjectionFactor.direction line 17
  3. def OAI.ShortenedBeam.ProjectionFactor.axis line 19
  4. def OAI.ShortenedBeam.ProjectionFactor.horizontal line 21
  5. def OAI.ShortenedBeam.ProjectionFactor.base line 23
  6. def OAI.ShortenedBeam.ProjectionFactor.Statement line 26