Metamath Proof Explorer


Syntax definition cpl1

Description: Univariate polynomials.

Ref Expression
Assertion cpl1 class Poly1