Theorem PowerSeries.eq_shift_mul_X_pow_add_trunc

Modification history