Theorem closure_ball_subset

Modification history

2026-10-28 22:35
Mathlib/Topology/UniformSpace/Basic.lean
chore(Topology): deprecate `UniformSpace.ball` in favor of `SetRel.ball` (#44887) …
Modified closure_ball_subsetView on Github →
2025-12-18 14:20
Mathlib/Topology/UniformSpace/Basic.lean
feat(Topology): Completely Regular Space iff Uniformizable (#32080) …
Added closure_ball_subsetView on Github →