Theorem uniformSpace_eq

Modification history

2023-08-22 13:23

Mathlib/Topology/UniformSpace/Basic.lean

chore: more predictable ext lemmas for TopologicalSpace and UniformSpace (#6705)

Deleted uniformSpace_eq View on Github →

2023-02-02 05:07

Mathlib/Topology/UniformSpace/Basic.lean

feat: port Topology.UniformSpace.Basic (#1993)

Added uniformSpace_eq View on Github →