Theorem AbstractCompletion.mapEquiv_coe

Modification history

2025-10-28 21:01
Mathlib/Topology/UniformSpace/AbstractCompletion.lean
feat(UniformSpace/Completion): add `UniformSpace.Completion.mapEquiv` (#30574) …
Added AbstractCompletion.mapEquiv_coeView on Github →