Theorem Polynomial.eval_derivative_div_eval_of_ne_zero_of_splits

Modification history

2025-12-12 09:27
Mathlib/Algebra/Polynomial/Splits.lean
refactor(Algebra/Polynomial/Splits): continue deprecation (#32752) …
Deleted Polynomial.eval_derivative_div_eval_of_ne_zero_of_splitsView on Github →
2025-10-01 21:33
Mathlib/Algebra/Polynomial/Splits.lean
feat: prove Gauss-Lucas theorem (#29630) …
Added Polynomial.eval_derivative_div_eval_of_ne_zero_of_splitsView on Github →