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