Metamath Proof Explorer


Syntax definition csr

Description: Extend class notation with class of all *-rings.

Ref Expression
Assertion csr
class *Ring