Symmetric_Difference_of_Complements
Provedproofwikiset-complementsymmetric-difference
The symmetric difference of two sets equals the symmetric difference of their complements: Sᶜ △ Tᶜ = S △ T
Preamble
import Mathlib.Order.SymmDiff import Mathlib.Data.Set.Basic
Formal statement
theorem Symmetric_Difference_of_Complements {α : Type _} (S T : Set α) : symmDiff Sᶜ Tᶜ = symmDiff S T := by sorrySource