Syntax definition cdg1

Description: Univariate polynomial degree.

	Ref	Expression
Assertion	cdg1	$$class{\mathrm{deg}}_1$$