basic): {multiset_,}noncomm_prod_mem (#12523)

Commit

3 years ago

feat(group_theory/subgroup/basic): {multiset_,}noncomm_prod_mem (#12523) and same for submonoids.

Author

nomeata

Parents