Theorem Polynomial.hasseDeriv_natDegree_eq_C

Modification history

2025-05-29 12:59
Mathlib/Algebra/Polynomial/HasseDeriv.lean
feat(Algebra): 5 small lemmas about Taylor (#25293)
Added Polynomial.hasseDeriv_natDegree_eq_CView on Github →