Syntax definition cir

Description: Ring irreducibles.

	Ref	Expression
Assertion	cir	$$class\mathrm{Irred}$$