Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.prod_X_add_C_eq_sum_esymm

Modification history

2022-08-16 04:10
src/ring_theory/polynomial/vieta.lean
feat(ring_theory/polynomial/vieta): add version of prod_X_add_C_eq_sum_esymm for multiset (#15008) …
Deleted mv_polynomial.prod_X_add_C_eq_sum_esymmView on Github →
2021-02-07 06:54
src/ring_theory/polynomial/vieta.lean
feat(ring_theory/polynomial): Almost Vieta's formula on products of (X + r) (#5696) …
Added mv_polynomial.prod_X_add_C_eq_sum_esymmView on Github →