Reflexive_Euclidean_Relation_is_Equivalence

import Mathlib.Analysis.Complex.Basic

theorem Reflexive_Euclidean_Relation_is_Equivalence {α : Type _} (R : α → α → Prop) (hRefl : ∀ x, R x x) (hEucl : ∀ x y z, R x y → R x z → R y z) : Equivalence R := by sorry