mathlib

ee7b9f9a - doc(algebra/euclidean_domain/defs): correct typos in doc (#19001)

doc(algebra/euclidean_domain/defs): correct typos in doc (#19001) Correct two typos in the doc about the Main Statements about Euclidean Domains. The corresponding `mathlib-4` PR is [#3945. ](https://github.com/leanprover-community/mathlib4/pull/3945)