Theorem IsometryClass.coe_coe

Modification history

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