Intersection_with_Complement
Provedempty-setproofwikiset-complementset-intersection
The intersection of a set and its complement is the empty set: S ∩ Sᶜ = ∅
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Intersection_with_Complement {α : Type _} (S : Set α) : S ∩ Sᶜ = ∅ := by sorrySource