Set_Difference_of_Complements
Provedproofwikiset-complementset-difference
The set difference of complements satisfies: Sᶜ \ Tᶜ = T \ S
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Difference_of_Complements {α : Type _} (S T : Set α) : Sᶜ \ Tᶜ = T \ S := by sorrySource