Theorem PowerSeries.X_mul_pow_inj

Modification history