Syntax definition cmhp

Description: Multivariate polynomials.

	Ref	Expression
Assertion	cmhp	$$class\mathrm{mHomP}$$