Theorem Isometry.lipschitzWith_iff

Modification history

2024-05-22 15:10
Mathlib/Topology/MetricSpace/Isometry.lean
feat: BoundedAdd class for consistency with BoundedSub and BoundedMul. (#13035) …
Added Isometry.lipschitzWith_iffView on Github →