Commit 2022-05-10 08:56 34f29db3
View on Github →feat(topology/algebra/group): Division is an open map (#14028) A few missing lemmas about division in topological groups.
feat(topology/algebra/group): Division is an open map (#14028) A few missing lemmas about division in topological groups.