Theorem Polynomial.root_mul_left_of_isRoot

Modification history