Commit 2022-09-14 12:38 11878a45
View on Github →feat(topology/algebra/uniform_convergence): maps to a uniform group form a uniform group when equipped with the uniform structure of 𝔖-convergence (#14693)
feat(topology/algebra/uniform_convergence): maps to a uniform group form a uniform group when equipped with the uniform structure of 𝔖-convergence (#14693)