mathlib

ed0d24af - feat(algebra/euclidean_domain): add quotient_zero axiom to euclidean_domain (#666)