Infinite non-commutative monoids, one auxiliary generator

1 unique, 1 total

Solved by custom:0

Σ#PresentationDescriptionRelated
121a, b | bababbbabba=aInfinite non-commutative monoid