Theorem UniformSpace.mem_ball_symmetry
Modification history
2025-03-05 19:53
Mathlib/Topology/UniformSpace/Defs.lean
chore(Topology): rename to `IsSymmetricRel` to indicate prop nature (#22594) …
Modified UniformSpace.mem_ball_symmetryView on Github →