Theorem UniformSpace.Core.ext

Modification history

2023-08-22 13:23

Mathlib/Topology/UniformSpace/Basic.lean

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

Added UniformSpace.Core.ext View on Github →