Intersection_with_Empty_Set
Provedempty-setproofwikiset-intersection
Intersection with Empty Set
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Intersection_with_Empty_Set {α : Type _} (S : Set α) : S ∩ ∅ = ∅ := by sorryIntersection with Empty Set
import Mathlib.Data.Set.Basic
theorem Intersection_with_Empty_Set {α : Type _} (S : Set α) : S ∩ ∅ = ∅ := by sorry