Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Polynomial evaluation
cevl

Next ⟩ df-evls

Metamath Proof Explorer

Unicode
Structured

Syntax definition cevl

Description: Evaluation of a multivariate polynomial.

		Ref	Expression
	Assertion	cevl	class eval