Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniform_group.uniform_continuous_iff_open_ker

Modification history

2022-04-11 11:52
src/topology/algebra/uniform_group.lean
chore(topology/algebra/uniform_group): use morphism classes (#13273)
Modified uniform_group.uniform_continuous_iff_open_kerView on Github →
2022-02-22 22:49
src/topology/algebra/uniform_group.lean
feat(topology/algebra/group): add continuity lemmas (#11975)
Added uniform_group.uniform_continuous_iff_open_kerView on Github →