Theorem Polynomial.taylor_X_pow

Modification history

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