Def UniformSpace.Completion.mapEquiv

Modification history

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