Structure of

chore(topology/uniform_space/uniform_convergence_topology): use type aliases (#17516)

feat(topology/algebra/uniform_convergence): maps to a uniform group form a uniform group when equipped with the uniform structure of `𝔖`-convergence (#14693)