Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
The ring of symmetric polynomials
csply
Next ⟩
df-sply
Metamath Proof Explorer
Ascii
Unicode
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