Theorem PowerSeries.mul_X_pow_inj

Modification history