Theorem PowerSeries.coeff_mul_prod_one_sub_of_lt_order

Modification history