Theorem PowerSeries.Inv_divided_by_X_pow_order_rightInv

Modification history