Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomial evaluation
ce1
Next ⟩
df-evls1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ce1
Description:
Evaluation of a univariate polynomial.
Ref
Expression
Assertion
ce1
class
eval
1