Theorem PowerSeries.eq_X_mul_shift_add_const

Modification history