Theorem PowerSeries.coeff_pow

Modification history

2024-07-14 07:35
Mathlib/RingTheory/PowerSeries/Basic.lean
feat(PowerSeries): coefficients of series products (#14452) …
Added PowerSeries.coeff_powView on Github →