Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Elementary properties of complex polynomials
cply
Next ⟩
cidp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cply
Description:
Extend class notation to include the set of complex polynomials.
Ref
Expression
Assertion
cply
class
Poly