Theorem PowerSeries.trunc_mul_trunc

Modification history