Metamath Proof Explorer


Syntax definition cmpl

Description: Multivariate polynomials.

Ref Expression
Assertion cmpl
class mPoly