Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.dvd_iff_content_dvd_content_and_prim_part_dvd_prim_part

Modification history