Theorem PowerSeries.subst_pow

Modification history