mathlib3

8044794f - feat(topology/algebra/module/basic): continuous linear maps are automatically uniformly continuous (#13276)

feat(topology/algebra/module/basic): continuous linear maps are automatically uniformly continuous (#13276) Generalize `continuous_linear_map.uniform_continuous`, `continuous_linear_equiv.uniform_embedding` and `linear_equiv.uniform_embedding` form `normed_space`s to `uniform_add_group`s and move them to `topology/algebra/module/basic`.