Theorem PowerSeries.eq_X_pow_mul_shift_add_trunc

Modification history