Theorem PowerSeries.subst_smul

Modification history