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