Theorem MvPolynomial.rename_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.rename_psum View on Github →