surjective constructors (#5547)

Commit

5 years ago

chore(algebra/group,algebra/group_with_zero): a few more injective/surjective constructors (#5547)

Author

urkud

Parents