2024-09-10 12:58
Mathlib/Algebra/Polynomial/Splits.lean
feat(Algebra/Polynomial/Splits): show that evaluating a split polynomial is the same as looking at the product of the roots (#16601)
Added Polynomial.eval_eq_prod_roots_sub_of_monic_of_splits_id