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