Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Elementary properties of complex polynomials
cidp
Next ⟩
ccoe
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cidp
Description:
Extend class notation to include the identity polynomial.
Ref
Expression
Assertion
cidp
class Xp