Diagonal_Relation_is_Equivalence
Proveddiagonal-relationequalityexamples-of-equivalence-relationsproofwiki
The diagonal relation (equality) on a set S is always an equivalence relation on S.
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Diagonal_Relation_is_Equivalence {α : Type _} : @Equivalence α (· = ·) := by sorrySource