Theorem Polynomial.taylor_pow

Modification history

2025-05-31 06:39
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): small lemmas for taylor (#25305) …
Added Polynomial.taylor_powView on Github →