Def AbstractCompletion.mapEquiv

Modification history

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