Theorem PowerSeries.coeff_coe_trunc_of_lt

Modification history