Theorem PowerSeries.X_pow_dvd_iff

Modification history