Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniformity_comap

Modification history

2023-01-30 21:46

src/topology/uniform_space/basic.lean

refactor(topology/{order,*}): review API (#18312) …

Modified uniformity_comap View on Github →

2020-06-21 19:09

src/topology/uniform_space/basic.lean

feat(topology/uniform_space): some basic lemmas (#3123) …

Added uniformity_comap View on Github →