Theorem UniformSpace.Completion.mapEquiv_coe

Modification history

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