Intersection_Distributes_over_Symmetric_Difference

import Mathlib.Order.SymmDiff
import Mathlib.Data.Set.Basic

theorem Intersection_Distributes_over_Symmetric_Difference {α : Type _} (R S T : Set α) : symmDiff R S ∩ T = symmDiff (R ∩ T) (S ∩ T) := by sorry