Theorem PowerSeries.hasSubst_iff

Modification history