Mathlib v3 is deprecated. Go to Mathlib v4

Theorem symmetric_rel_inter

Modification history

2022-07-19 18:28
src/topology/uniform_space/basic.lean
chore(topology/uniform_space/basic): rename `symmetric_rel_inter` to `symmetric_rel.inter` (#15441) …
Deleted symmetric_rel_interView on Github →
2020-06-21 19:09
src/topology/uniform_space/basic.lean
feat(topology/uniform_space): some basic lemmas (#3123) …
Added symmetric_rel_interView on Github →