Theorem Polynomial.mul_div_eq_iff_isRoot

Modification history