Theorem Polynomial.derivative_ne_zero

Modification history

2026-06-05 08:51
Mathlib/Algebra/Polynomial/Derivative.lean
feat(Algebra/Polynomial): leading coefficient of derivative (#40173) …
Added Polynomial.derivative_ne_zeroView on Github →