Mathlib Changelog
v4
Changelog
About
Github
Def
Affine.Simplex.evalHeight
Modification history
2025-11-19 06:07
Mathlib/Geometry/Euclidean/Altitude.lean
chore: move Mathlib to the module system (#31786) …
Deleted
Affine.Simplex.evalHeight
View on Github →
2025-05-20 16:25
Mathlib/Geometry/Euclidean/Altitude.lean
feat: positivity extension for `Simplex.height` (#25029)
Added
Affine.Simplex.evalHeight
View on Github →