Theorem PowerSeries.X_pow_mul_injective

Modification history