Theorem Polynomial.isRoot_of_isRoot_of_dvd_derivative_mul

Modification history