Theorem AffineSubspace.signedInfDist_apply_of_mem

Modification history

2025-04-07 09:08

Mathlib/Geometry/Euclidean/SignedDist.lean

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

Added AffineSubspace.signedInfDist_apply_of_mem View on Github →