Set_Equals_Itself
Provedproofwikiset-equality
All sets are equal to themselves
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Equals_Itself {α : Type*} (S : Set α) : S = S := by sorrySource
All sets are equal to themselves
import Mathlib.Data.Set.Basic
theorem Set_Equals_Itself {α : Type*} (S : Set α) : S = S := by sorry