Theorem Polynomial.eq_centerMass_of_eval_derivative_eq_zero

Modification history

2025-10-01 21:33
Mathlib/Analysis/Complex/Polynomial/GaussLucas.lean
feat: prove Gauss-Lucas theorem (#29630) …
Added Polynomial.eq_centerMass_of_eval_derivative_eq_zeroView on Github →