OAI/Geometry/CylinderCovering/Rational/RealizationDefinitions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SlopeRational.Space line 12
2. def OAI.SlopeRational.physicalScale line 14
3. def OAI.SlopeRational.referenceTetrahedron line 16
4. def OAI.SlopeRational.reflection line 21
5. def OAI.SlopeRational.lowerSweep line 24
6. def OAI.SlopeRational.upperSweep line 28
7. def OAI.SlopeRational.weightedCost line 32
8. def OAI.SlopeRational.RationalCoverageStatement line 36