Theorem PowerSeries.derivative_X_add_C

Modification history

2026-11-10 23:38
Mathlib/RingTheory/PowerSeries/Derivative.lean
feat(PowerSeries/Derivative): add some lemmas (#43305) …
Added PowerSeries.derivative_X_add_CView on Github →