Theorem PowerSeries.coeff_subst

Modification history