Theorem MvPolynomial.esymm_eq_sum_subtype

Modification history

2023-03-19 06:37
Mathlib/RingTheory/MvPolynomial/Symmetric.lean
feat: port RingTheory.MvPolynomial.Symmetric (#2981)
Added MvPolynomial.esymm_eq_sum_subtypeView on Github →