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₁