semigroup2: STS Unavailable

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

• is_homomorphism
• is_isomorphism
• is_endomorphism
• is_automorphism
• left_multiplication
• right_multiplication
• isomorphic