Theorem PowerSeries.subst_add

Modification history