Theorem IsometryClass.diam_image

Modification history

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