Metamath Proof Explorer


Syntax definition csply

Description: Extend class notation with the symmetric polynomials.

Ref Expression
Assertion csply class SymPoly