Syntax definition ces1

Description: Evaluation of a univariate polynomial in a subring.

	Ref	Expression
Assertion	ces1	$$class{\mathrm{evalSub}}_1$$