Theorem PowerSeries.mul_X_injective

Modification history