group): add continuity lemmas (#11975)

Commit

3 years ago

feat(topology/algebra/group): add continuity lemmas (#11975) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

mariainesdff

Parents