mathlib3

6ae9f000 - feat(ring_theory/polynomial/symmetric): degrees_esymm (#6718)

feat(ring_theory/polynomial/symmetric): degrees_esymm (#6718) A lot of API also added for finset, finsupp, multiset, powerset_len Co-authored-by: Hanting Zhang <hantingzhang03@gmail.com>