Theorem PowerSeries.trunc_C_mul

Modification history