Theorem PowerSeries.order_pow

Modification history