Syntax definition cco1

Description: Coefficient function for a univariate polynomial.

	Ref	Expression
Assertion	cco1	$$class{\mathrm{coe}}_1$$