Theorem nhdsWithin_eq_comap_uniformity_of_mem'

Modification history

2026-10-28 22:35
Mathlib/Topology/UniformSpace/Defs.lean
chore(Topology): deprecate `UniformSpace.ball` in favor of `SetRel.ball` (#44887) …
Added nhdsWithin_eq_comap_uniformity_of_mem'View on Github →