Theorem Polynomial.roots_pow

Modification history