Theorem Polynomial.root_mul

Modification history