Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Polynomial degrees
cmdg
Next ⟩
cdg1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmdg
Description:
Multivariate polynomial degree.
Ref
Expression
Assertion
cmdg
class
mDeg