Theorem Polynomial.root_mul_right_of_isRoot

Modification history