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