Set_Difference_with_Set_Difference
Provedproofwikiset-differenceset-intersection
Set Difference with Set Difference
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Difference_with_Set_Difference {α : Type _} (S T : Set α) : S \ (S \ T) = S ∩ T := by sorry