Theorem PowerSeries.eq_shift_mul_X_add_const

Modification history