Syntax definition cpl1

Description: Univariate polynomials.

	Ref	Expression
Assertion	cpl1	$$class{\mathrm{Poly}}_1$$