Theorem PowerSeries.mul_X_pow_injective

Modification history