Syntax definition cmdg

Description: Multivariate polynomial degree.

	Ref	Expression
Assertion	cmdg	$$class\mathrm{mDeg}$$