Theorem PowerSeries.trunc_zero'

Modification history