Theorem PowerSeries.derivative_C_mul_X_pow

Modification history

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