Metamath Proof Explorer


Syntax definition cco1

Description: Coefficient function for a univariate polynomial.

Ref Expression
Assertion cco1 class coe1