Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-20 16:00 1da8cc51

View on Github →

feat(analysis/topology/uniform_structure): uniform_space.comap extra lemmas

Estimated changes

Modified analysis/topology/uniform_space.lean

added theorem uniform_continuous_iff

added theorem uniform_space.comap_comap_comp

added theorem uniform_space_comap_id