Theorem PowerSeries.subst_X

Modification history