Relative_Complement_of_Empty_Set
Provedempty-setproofwikirelative-complement
Relative Complement of Empty Set
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Relative_Complement_of_Empty_Set {α : Type _} (S : Set α) : S \ ∅ = S := by sorry