Metamath Proof Explorer


Syntax definition cuc1p

Description: Unitic polynomials.

Ref Expression
Assertion cuc1p class Unic1p