Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-08 05:24 ba9f346a

View on Github →

feat(topology/algebra/uniform_group): uniform_group is preserved by Inf and comap (#14889) This is the uniform version of #11720

Estimated changes

added theorem uniform_group_Inf
added theorem uniform_group_comap
added theorem uniform_group_inf
added theorem uniform_group_infi
modified theorem uniform_continuous_iff