Theorem PowerSeries.trunc_C

Modification history