Metamath Proof Explorer

Syntax definition ces

Description: Evaluation of a multivariate polynomial in a subring.

Ref Expression
Assertion ces 
class evalSub