OAI/Geometry/CylinderCovering/Rational/TetrahedronDiameter.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SlopeRational.physicalScale_sq line 10
2. theorem OAI.SlopeRational.space_dist_sq line 13
3. theorem OAI.SlopeRational.referenceTetrahedron_dist_le_one line 19
4. theorem OAI.SlopeRational.referenceTetrahedron_diameter line 44