Syntax definition cuc1p

Description: Unitic polynomials.

	Ref	Expression
Assertion	cuc1p	$$class{Unic}_{\mathrm{1p}}$$