group): Division is an open map (#14028)

Commit

3 years ago

feat(topology/algebra/group): Division is an open map (#14028) A few missing lemmas about division in topological groups.

Author

YaelDillies

Parents