uniform_group): `uniform_group` is preserved by Inf and comap (#14889)

Commit

3 years ago

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

Author

ADedecker

Parents