Theorem Pi.uniformity

Modification history

2023-06-30 23:14

Mathlib/Topology/UniformSpace/Pi.lean

fix: precedences of `⨆⋃⋂⨅` (#5614)

Modified Pi.uniformity View on Github →

2023-02-03 23:53

Mathlib/Topology/UniformSpace/Pi.lean

feat: Port/Topology.UniformSpace.Pi (#2048) …

Added Pi.uniformity View on Github →