Theorem PowerSeries.eval₂_unique

Modification history