Theorem PowerSeries.X_mul_cancel

Modification history