Commit 2022-07-19 18:28 9137502f
View on Github →chore(topology/uniform_space/basic): rename symmetric_rel_inter to symmetric_rel.inter (#15441)
Also add symmetric_rel.eq
chore(topology/uniform_space/basic): rename symmetric_rel_inter to symmetric_rel.inter (#15441)
Also add symmetric_rel.eq