Theorem PowerSeries.map_algebraMap_eq_subst_X

Modification history