mathlib3

fix(algebra/euclidean_domain): remove decidable_eq assumption

#2362

Merged