• Home
  • weakly cancellative commutative semigroup