Mathlib v3 is deprecated. Go to Mathlib v4

Def symmetric_rel

Modification history

2020-06-13 11:08

src/topology/uniform_space/basic.lean

refactor(topology/uniform_space): docstring and notation (#3052) …

Added symmetric_rel View on Github →