mathlib3

dbc84397 - just delete ring_equiv_Cauchy