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.evalHeightView on Github →
2025-05-20 16:25
Mathlib/Geometry/Euclidean/Altitude.lean
feat: positivity extension for `Simplex.height` (#25029)
Added Affine.Simplex.evalHeightView on Github →