Database
BASIC ALGEBRAIC STRUCTURES
Abstract multivariate polynomials
Polynomial evaluation
ces

Next ⟩ cevl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ces

Description: Evaluation of a multivariate polynomial in a subring.

		Ref	Expression
	Assertion	ces	$class evalSub$