Theorem Polynomial.coeff_taylor_natDegree

Modification history

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