Theorem MvPolynomial.psum_isSymmetric

Modification history

2023-08-15 04:44

Mathlib/RingTheory/MvPolynomial/Symmetric.lean

feat(RingTheory/MvPolynomial/NewtonIdentities): Add proof of Newton's identities (#6139)

Added MvPolynomial.psum_isSymmetric View on Github →