cco1 - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cco1		Structured version Visualization version GIF version

Syntax Definition cco1 21259

Description: Coefficient function for a univariate polynomial.

**Assertion**
Ref	Expression
cco1	class coe₁

See definition df-coe1 21264 for more information.

Colors of variables: wff setvar class