Theorem Polynomial.roots_mul

Modification history