Theorem PowerSeries.X_mul_inj

Modification history