Theorem PowerSeries.trunc_add

Modification history