Def IsometryClass.toIsometryEquiv

Modification history

2025-05-09 19:38
Mathlib/Topology/MetricSpace/Isometry.lean
feat: `IsometryClass` (#18754)
Added IsometryClass.toIsometryEquivView on Github →