Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomial evaluation
ces1

Next ⟩ ce1

Metamath Proof Explorer

Ascii
Structured

Syntax definition ces1

Description: Evaluation of a univariate polynomial in a subring.

		Ref	Expression
	Assertion	ces1	class evalSub₁