Theorem PowerSeries.eval₂_eq_tsum

Modification history