uniform_group): drop commutativity assumption in `topological_group.to_uniform_space` (#16004)

Commit

3 years ago

feat(topology/algebra/uniform_group): drop commutativity assumption in `topological_group.to_uniform_space` (#16004)

Author

ocfnash

Parents