Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_adjoin_of_dvd_coeff_of_dvd_aeval

Modification history