Mathlib Changelog
v4
Changelog
About
Github
Theorem
Affine.Simplex.affineSpan_pair_altitudeFoot_eq_altitude
Modification history
2025-05-18 15:44
Mathlib/Geometry/Euclidean/Altitude.lean
chore: generalize from `n + 1` to `NeZero` (#24988) …
Modified
Affine.Simplex.affineSpan_pair_altitudeFoot_eq_altitude
View on Github →
2025-05-01 21:43
Mathlib/Geometry/Euclidean/Altitude.lean
feat(Geometry/Euclidean/Altitude): `altitudeFoot`, `height` (#24525) …
Added
Affine.Simplex.affineSpan_pair_altitudeFoot_eq_altitude
View on Github →