Def Isometry.mapRingHom

Modification history

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