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