ring1: STS Unavailable

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

• ring
• carrier
• multiplication
• negation
• identity
• zero
• addition
• subtraction
• is_commutative
• is_subring
• additive_group
• multiplicative_monoid
• expression
• subring
• power