Theorem PowerSeries.HasSubst.smul_X'

Modification history