Theorem SetRel.inv_ball_mem_nhdsWithin

Modification history

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