Theorem PowerSeries.span_X_isPrime

Modification history