Metamath Proof Explorer


Syntax definition csply

Description: Extend class notation with the symmetric polynomials.

Ref Expression
Assertion csply Could not format assertion : No typesetting found for class SymPoly with typecode class