Theorem Polynomial.eval_derivative_of_splits

Modification history

2025-11-20 19:42

Mathlib/Algebra/Polynomial/Splits.lean

feat(Algebra/Polynomial/Splits): remove the `RingHom` argument of `Splits` (#31631)

Modified Polynomial.eval_derivative_of_splits View on Github →

2025-10-01 21:33

Mathlib/Algebra/Polynomial/Splits.lean

feat: prove Gauss-Lucas theorem (#29630) …

Added Polynomial.eval_derivative_of_splits View on Github →