Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomials
cco1
Next ⟩
ctp1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cco1
Description:
Coefficient function for a univariate polynomial.
Ref
Expression
Assertion
cco1
class
coe
1