Theorem Isometry.mapRingHom_coe

Modification history

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