Theorem Affine.Simplex.ne_orthogonalProjection_faceOpposite
Modification history
2025-05-01 21:43
Mathlib/Geometry/Euclidean/Projection.lean
feat(Geometry/Euclidean/Altitude): `altitudeFoot`, `height` (#24525) …
Deleted Affine.Simplex.ne_orthogonalProjection_faceOppositeView on Github →