Theorem PowerSeries.order_X_pow

Modification history