Metamath Proof Explorer


Syntax definition ce1

Description: Evaluation of a univariate polynomial.

Ref Expression
Assertion ce1 class eval1