operations): monoids are isomorphic to themselves as submonoids (#12658)

Commit

3 years ago

feat(group_theory/submonoid/operations): monoids are isomorphic to themselves as submonoids (#12658)

Author

Multramate

Parents