Syntax definition cq1p

Description: Univariate polynomial quotient.

	Ref	Expression
Assertion	cq1p	$$class{quot}_{\mathrm{1p}}$$