mathlib3

671dcbac - refactor(algebra/euclidean_domain): split files