Theorem PowerSeries.aeval_eq_sum

Modification history