Theorem PowerSeries.order_zero

Modification history