Syntax definition cr1p

Description: Univariate polynomial remainder.

	Ref	Expression
Assertion	cr1p	$$class{rem}_{\mathrm{1p}}$$