Theorem PowerSeries.X_pow_mul_cancel

Modification history