Syntax definition cmpl

Description: Multivariate polynomials.

	Ref	Expression
Assertion	cmpl	$$class\mathrm{mPoly}$$