Theorem LaurentSeries.X_order_mul_powerSeriesPart

Modification history