Theorem PowerSeries.as_tsum

Modification history