Theorem Polynomial.nextCoeff_eq_neg_sum_roots_of_monic_of_splits

Modification history

2025-10-08 20:10
Mathlib/Algebra/Polynomial/Splits.lean
chore: rename polynomial lemmas (#30270) …
Added Polynomial.nextCoeff_eq_neg_sum_roots_of_monic_of_splitsView on Github →