Theorem PowerSeries.X_prime

Modification history