Mathlib v3 is deprecated. Go to Mathlib v4

Def diff_to_ideal_of_quotient_comp_eq

Modification history