chore(topology/uniform_space/basic): rename `symmetric_rel_inter` to `symmetric_rel.inter` (#15441)
chore(topology/uniform_space/basic): rename `symmetric_rel_inter` to `symmetric_rel.inter` (#15441)

Also add `symmetric_rel.eq`





leanprover-community/mathlib,leanprover-community/mathlib