Metamath Proof Explorer


Syntax definition cmdg

Description: Multivariate polynomial degree.

Ref Expression
Assertion cmdg class mDeg