Theorem Polynomial.roots_X

Modification history