Theorem Polynomial.natDegree_derivative

Modification history

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