Theorem PowerSeries.trunc_X_of

Modification history