Metamath Proof Explorer


Syntax definition cevl

Description: Evaluation of a multivariate polynomial.

Ref Expression
Assertion cevl class eval