uniform_group): a subgroup of a uniform group is a uniform group (#13277)

Commit

3 years ago

feat(topology/algebra/uniform_group): a subgroup of a uniform group is a uniform group (#13277)

Author

ADedecker

Parents