Theorem Polynomial.leadingCoeff_taylor

Modification history

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