Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.esymm_eq_multiset.esymm

Modification history

2022-09-19 15:19
src/ring_theory/polynomial/symmetric.lean
feat(ring_theory/polynomial/symmetric): restore `finset.powerset_len` version of `prod_X_sub_C_coeff` (#16424) …
Deleted mv_polynomial.esymm_eq_multiset.esymmView on Github →
2022-08-16 04:10
src/ring_theory/polynomial/symmetric.lean
feat(ring_theory/polynomial/vieta): add version of prod_X_add_C_eq_sum_esymm for multiset (#15008) …
Added mv_polynomial.esymm_eq_multiset.esymmView on Github →