Theorem PowerSeries.derivative_subst

Modification history

2026-02-08 21:44

Mathlib/RingTheory/PowerSeries/Derivative.lean

feat(RingTheory/PowerSeries/Derivative): more lemmas (#34616) …

Added PowerSeries.derivative_subst View on Github →