Theorem PowerSeries.trunc_mul_C

Modification history