Theorem Affine.Simplex.altitudeFoot_restrict

Modification history

2026-01-21 00:52
Mathlib/Geometry/Euclidean/Altitude.lean
feat(Geometry/Euclidean/Altitude): `map` and `restrict` lemmas (#32021) …
Added Affine.Simplex.altitudeFoot_restrictView on Github →