Theorem PowerSeries.X_eq

Modification history