Metamath Proof Explorer


Syntax definition cply

Description: Extend class notation to include the set of complex polynomials.

Ref Expression
Assertion cply class Poly