Theorem Polynomial.natDegree_iterate_derivative

Modification history

2023-09-20 11:42
Mathlib/Data/Polynomial/Derivative.lean
feat: some theorems about iterated polynomial derivatives (#7274)
Added Polynomial.natDegree_iterate_derivativeView on Github →