MathDB1 problem
Monoid realization conjecture. The monoid is left-cancellative, every pair of elements of has a greatest common left divisor, and therefore…
Monoid realization conjecture. The monoid is left-cancellative, every pair of elements of has a greatest common left divisor, and therefore…