Set_Difference_Union_Intersection
Provedproofwikiset-differenceset-difference-union-intersectionset-intersectionset-union
Set Difference Union Intersection
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Difference_Union_Intersection {α : Type _} (S T : Set α) : (S \ T) ∪ (S ∩ T) = S := by sorry