Def Affine.Simplex.altitudeFoot

Modification history

2025-05-01 21:43

Mathlib/Geometry/Euclidean/Altitude.lean

feat(Geometry/Euclidean/Altitude): `altitudeFoot`, `height` (#24525) …

Added Affine.Simplex.altitudeFoot View on Github →