∫ Утверждение Mathlib
coeff_derivativeFun
Mathlib.RingTheory.PowerSeries.Derivative
URI: https://scilib.ai/kg/mathlib#PowerSeries.coeff_derivativeFun
∫ Утверждение Mathlib
Mathlib.RingTheory.PowerSeries.Derivative
URI: https://scilib.ai/kg/mathlib#PowerSeries.coeff_derivativeFun