Theorem MvPowerSeries.coeff_pow

Modification history

2024-07-23 04:50
Mathlib/RingTheory/MvPowerSeries/Basic.lean
feat(MvPowerSeries.Basic): compute coefficients of powers of MvPowerSeries (#14865) …
Added MvPowerSeries.coeff_powView on Github →