Metamath Proof Explorer


Syntax definition cmhp

Description: Multivariate polynomials.

Ref Expression
Assertion cmhp
class mHomP