Theorem MvPolynomial.sum_antidiagonal_card_esymm_psum_eq_zero

Modification history

2023-08-15 04:44
Mathlib/RingTheory/MvPolynomial/NewtonIdentities.lean
feat(RingTheory/MvPolynomial/NewtonIdentities): Add proof of Newton's identities (#6139)
Added MvPolynomial.sum_antidiagonal_card_esymm_psum_eq_zeroView on Github →