Theorem Polynomial.dvd_iff_modByMonic_eq_zero

Modification history