Theorem Polynomial.roots_X_pow

Modification history