Theorem PowerSeries.hasSubst_iff_hasEval_of_discreteTopology

Modification history