Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Polynomial degrees
cdg1
Next ⟩
df-mdeg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdg1
Description:
Univariate polynomial degree.
Ref
Expression
Assertion
cdg1
class
deg
1