Def MvPolynomial.psum

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 View on Github →