Theorem PowerSeries.X_pow_eq

Modification history