Theorem PowerSeries.trunc_trunc_pow

Modification history