Theorem PowerSeries.iterate_derivative_sum

Modification history

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