Theorem Affine.Simplex.signedInfDist_apply_of_ne

Modification history

2025-04-07 09:08

Mathlib/Geometry/Euclidean/SignedDist.lean

chore(Geometry/Euclidean/SignedDist): rename `signedDist` to `signedInfDist` (#23646) …

Added Affine.Simplex.signedInfDist_apply_of_ne View on Github →