OAI/Geometry/CylinderCovering/Beams/NeighborhoodDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderCovering.BeamNeighborhood.Plane line 8
2. def OAI.CylinderCovering.BeamNeighborhood.radial line 9
3. def OAI.CylinderCovering.BeamNeighborhood.transverse line 10
4. def OAI.CylinderCovering.BeamNeighborhood.velocity line 11
5. def OAI.CylinderCovering.BeamNeighborhood.sector line 12
6. def OAI.CylinderCovering.BeamNeighborhood.paddedSector line 14
7. def OAI.CylinderCovering.BeamNeighborhood.intercept line 15
8. def OAI.CylinderCovering.BeamNeighborhood.enclosingRadius line 18
9. def OAI.CylinderCovering.BeamNeighborhood.enclosingApex line 19
10. def OAI.CylinderCovering.BeamNeighborhood.enclosingTriangle line 20