Infinite non-commutative monoids, three auxiliary generators

1 unique, 1 total

Solved by custom:1

Σ#PresentationDescriptionRelated
1111071a, b | baab=aaa, bbbb=1⟩Infinite non-commutative monoid