Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
Elementary properties of complex polynomials
ccoe
Next ⟩
cdgr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccoe
Description:
Extend class notation to include the coefficient function on polynomials.
Ref
Expression
Assertion
ccoe
class coeff