mathlib3

33cf8ad1 - feat(ring_theory/polynomial/symmetric): add `aeval_esymm_eq_multiset.esymm`