Theorem MvPolynomial.esymm_eq_multiset_esymm

Modification history

2024-03-26 14:16
Mathlib/RingTheory/MvPolynomial/Symmetric.lean
chore: remove unnecessary Finset qualifications (#11659)
Modified MvPolynomial.esymm_eq_multiset_esymmView on Github →
2023-03-19 06:37
Mathlib/RingTheory/MvPolynomial/Symmetric.lean
feat: port RingTheory.MvPolynomial.Symmetric (#2981)
Added MvPolynomial.esymm_eq_multiset_esymmView on Github →