Theorem PowerSeries.subst_comp_subst_apply

Modification history