Theorem UniformSpace.ball_eq_of_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.ball_eq_of_symmetryView on Github →