Theorem PowerSeries.degree_trunc_lt

Modification history