Theorem PowerSeries.trunc_one

Modification history