group): add homeomorph.prod_units (#10725)

Commit

4 years ago

feat(topology/algebra/group): add homeomorph.prod_units (#10725) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

mariainesdff

Parents