Syntax definition c2idl

Description: Ring two-sided ideal function.

	Ref	Expression
Assertion	c2idl	$$class\mathrm{2Ideal}$$