Theorem mv_polynomial.prod_X_add_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 mv_polynomial.prod_X_add_C_coeffView on Github →