Theorem Polynomial.coeff_zero_eq_prod_roots_of_monic_of_splits

Modification history

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