Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ideal.coeff_zero_mem_comap_of_root_mem_of_eval_mem

Modification history