Mathlib Changelog
v4
Changelog
About
Github
Def
Affine.Simplex.altitude
Modification history
2025-05-18 15:44
Mathlib/Geometry/Euclidean/Altitude.lean
chore: generalize from `n + 1` to `NeZero` (#24988) …
Modified
Affine.Simplex.altitude
View on Github →
2025-05-01 14:04
Mathlib/Geometry/Euclidean/Altitude.lean
refactor(Geometry/Euclidean): split out altitudes (#24504) …
Modified
Affine.Simplex.altitude
View on Github →
2023-06-28 18:22
Mathlib/Geometry/Euclidean/MongePoint.lean
feat: port Geometry.Euclidean.MongePoint (#5056)
Added
Affine.Simplex.altitude
View on Github →