Theorem PowerSeries.trunc_X

Modification history