Theorem PowerSeries.mul_X_inj

Modification history