Theorem PowerSeries.le_order_pow

Modification history