Theorem PowerSeries.trunc_trunc_mul_trunc

Modification history