semigroup1: STS Unavailable

semigroup1 defines the following Names, but STS signatures are not currently available.

• semigroup
• carrier
• multiplication
• is_commutative
• is_subsemigroup
• magma
• subsemigroup
• factor_of
• expression