Metamath Proof Explorer


Syntax definition cdgr

Description: Extend class notation to include the degree function on polynomials.

Ref Expression
Assertion cdgr class deg