Theorem PowerSeries.trunc_zero

Modification history