Symmetry_of_Equality
ProvedIf a = b then b = a (symmetry of equality).
Preamble
import Mathlib.Tactic
Formal statement
theorem Symmetry_of_Equality {α : Type _} {a b : α} (h : a = b) : b = a := by sorryIf a = b then b = a (symmetry of equality).
import Mathlib.Tactic
theorem Symmetry_of_Equality {α : Type _} {a b : α} (h : a = b) : b = a := by sorry