Equal_Set_Differences_iff_Equal_Intersections
Provedequal-set-differences-iff-equal-intersectionsproofwikiset-differenceset-intersection
Equal Set Differences iff Equal Intersections
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Equal_Set_Differences_iff_Equal_Intersections {α : Type _} (R S T : Set α) : R \ S = R \ T ↔ R ∩ S = R ∩ T := by sorry