Symmetric_Difference_is_Associative

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

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