Theorem PowerSeries.derivative_X_pow_succ

Modification history

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