Metamath Proof Explorer


Syntax definition cuc1p

Description: Unitic polynomials.

Ref Expression
Assertion cuc1p
class Unic1p