Syntax definition ccsrg

Description: Extend class notation with the class of all commutative semirings.

	Ref	Expression
Assertion	ccsrg	class CSRing