Metamath Proof Explorer


Syntax definition cco1

Description: Coefficient function for a univariate polynomial.

Ref Expression
Assertion cco1
class coe1