Set_Difference_is_Anticommutative
Provedempty-setproofwikiset-difference
Set Difference is Anticommutative
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Difference_is_Anticommutative {α : Type _} (S T : Set α) : S = T ↔ S \ T = ∅ ∧ T \ S = ∅ := by sorry