Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniform_continuous_id

Modification history

2017-09-05 14:15
topology/uniform_space.lean
feat(topology): introduce infinite sums on topological monoids
Added uniform_continuous_idView on Github →