Def UniformSpaceCat

Modification history

2025-02-05 23:58

Mathlib/Topology/Category/UniformSpace.lean

refactor(Topology/Category): clean up remaining uses of `HasForget` (#21458) …

Deleted UniformSpaceCat View on Github →

2023-06-16 02:09

Mathlib/Topology/Category/UniformSpace.lean

feat: port Topology.Category.UniformSpace (#4531)

Added UniformSpaceCat View on Github →