Theorem PowerSeries.sub_const_eq_shift_mul_X

Modification history