Theorem PowerSeries.subst_coe

Modification history