Symmetric_Difference_is_Commutative
Provedcommutativityproofwikisymmetric-difference
Symmetric difference is commutative: S △ T = T △ S
Preamble
import Mathlib.Data.Set.Basic import Mathlib.Order.SymmDiff
Formal statement
theorem Symmetric_Difference_is_Commutative {α : Type _} (S T : Set α) : symmDiff S T = symmDiff T S := by sorrySource