Def UniformSpaceCat.completionHom

Modification history

2026-02-17 23:08
Mathlib/Topology/Category/UniformSpace.lean
chore: bump toolchain to v4.29.0-rc1 (#35459)
Deleted UniformSpaceCat.completionHomView on Github →
2023-06-16 02:09
Mathlib/Topology/Category/UniformSpace.lean
feat: port Topology.Category.UniformSpace (#4531)
Added UniformSpaceCat.completionHomView on Github →