Theorem PowerSeries.order_mul

Modification history