magma1: STS Unavailable

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

• magma
• carrier
• multiplication
• is_commutative
• is_associative
• is_submagma
• is_identity
• submagma
• left_divides
• right_divides
• left_expression
• right_expression