Theorem PowerSeries.trunc_trunc_mul

Modification history