Theorem PowerSeries.derivative_exp

Modification history

2026-01-23 10:44
Mathlib/RingTheory/PowerSeries/Exp.lean
feat(RingTheory/PowerSeries/Exp): more lemmas (#34265) …
Added PowerSeries.derivative_expView on Github →