group2: STS Unavailable

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

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