Theorem PowerSeries.X_mul_injective

Modification history