Theorem PowerSeries.eval₂_trunc_eq_sum_range

Modification history