Metamath Proof Explorer


Syntax definition cplylt

Description: Extend class notatin with the class of limited-degree polynomials.

Ref Expression
Assertion cplylt class Poly<