Theorem Sum.uniformity

Modification history

2024-02-20 17:52

Mathlib/Topology/UniformSpace/Basic.lean

chore(UniformSpace): golf (#10627) …

Modified Sum.uniformity View on Github →

2023-02-02 05:07

Mathlib/Topology/UniformSpace/Basic.lean

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

Added Sum.uniformity View on Github →