Theorem PowerSeries.mul_X_pow_cancel

Modification history