monoid1: STS Unavailable

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

• monoid
• carrier
• multiplication
• identity
• is_commutative
• is_invertible
• is_submonoid
• semigroup
• submonoid
• invertibles
• divisor_of
• expression