Theorem Polynomial.degree_derivative

Modification history

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