Absorption_Laws_Set_Theory_Intersection_with_Union
Provedabsorption-lawsproofwiki
Absorption Laws Set Theory Intersection with Union
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Absorption_Laws_Set_Theory_Intersection_with_Union {α : Type _} (S T : Set α) : S ∩ (S ∪ T) = S := by sorry