Theorem Polynomial.mul_divByMonic_eq_iff_isRoot

Modification history