Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.coeff_eq_esymm_roots_of_card

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) …

Added polynomial.coeff_eq_esymm_roots_of_card View on Github →