Theorem PowerSeries.subst_mul

Modification history