mathlib3

044b6fae - feat(algebra/euclidean_domain): discrete field to euclidean domain (#674)