Theorem PowerSeries.mul_X_cancel

Modification history