Theorem Polynomial.rootSet_X_pow

Modification history