Mathlib Changelog
v4
Changelog
About
Github
Theorem
Affine.Simplex.signedInfDist_apply_self
Modification history
2025-05-19 11:40
Mathlib/Geometry/Euclidean/SignedDist.lean
refactor(Geometry/Euclidean): use the simp-normal form in lemmas (#24996) …
Modified
Affine.Simplex.signedInfDist_apply_self
View on Github →
2025-04-07 09:08
Mathlib/Geometry/Euclidean/SignedDist.lean
chore(Geometry/Euclidean/SignedDist): rename `signedDist` to `signedInfDist` (#23646) …
Added
Affine.Simplex.signedInfDist_apply_self
View on Github →