Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.prod_X_sub_C_coeff

Modification history

2022-08-20 08:58
src/ring_theory/polynomial/vieta.lean
feat(ring_theory/polynomial): Vieta's formula in terms of `polynomial.roots` (#14908) …
Modified multiset.prod_X_sub_C_coeffView on Github →
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) …
Added multiset.prod_X_sub_C_coeffView on Github →