Theorem Polynomial.roots_normalize

Modification history