Theorem Isometry.isometry_mapRingHom

Modification history

2026-03-06 17:10
Mathlib/Topology/MetricSpace/Completion.lean
feat: `Isometry.mapRingHom` (#36257)
Added Isometry.isometry_mapRingHomView on Github →