Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Elementary properties of complex polynomials
cdgr
Next ⟩
df-ply
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdgr
Description:
Extend class notation to include the degree function on polynomials.
Ref
Expression
Assertion
cdgr
class
deg