OAI/Geometry/CylinderCovering/Simplex/ProjectionDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderCovering.Euclidean line 11
2. def OAI.CylinderCovering.simplexCarrier line 13
3. def OAI.CylinderCovering.orthogonalProjection line 16
4. def OAI.CylinderCovering.simplexShadowArea line 19
5. def OAI.CylinderCovering.longestChord line 24
6. def OAI.CylinderCovering.simplexMinimumShadowArea line 27
7. def OAI.CylinderCovering.SimplexChordProjectionStatement line 30
8. def OAI.CylinderCovering.TetrahedronEdgeMinimizerStatement line 44
9. def OAI.CylinderCovering.RegularProjectionNormalizationStatement line 51
10. def OAI.CylinderCovering.SimplexProjectionIdentityStatement line 60