Commit 2024-07-23 04:50 d388846d

feat(MvPowerSeries.Basic): compute coefficients of powers of MvPowerSeries (#14865) MvPowerSeries.coeff_pow computes the coefficients of powers of power series coeff_eq_zero_of_constantCoeff_nilpotent shows that some coefficients of some powers of a power series are zero when the constant coefficient is nilpotent CoAuthored with María Inés de Frutos Fernández