Theorem PowerSeries.X_pow_order_dvd

Modification history