pointwise): add pointwise multiplication to `add_submonoid`s (#11522)

Commit

3 years ago

feat(group_theory/submonoid/pointwise): add pointwise multiplication to `add_submonoid`s (#11522)

Author

eric-wieser

Parents