Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Polynomial evaluation
cevl
Next ⟩
df-evls
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cevl
Description:
Evaluation of a multivariate polynomial.
Ref
Expression
Assertion
cevl
class
eval