prod) Units of a product monoid (#5563)

Commit

4 years ago

feat(algebra/group/prod) Units of a product monoid (#5563) Just a simple seemingly missing def

Author

alexjbest

Parents