Theorem PowerSeries.trunc_one_left

Modification history