This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
The ring of symmetric polynomials
csply
Next ⟩
cesply
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