Union_Distributes_over_Intersection
Proveddistributive-lawsdistributive-operationsproofwikiset-intersectionset-unionunion-distributes-over-intersection
Union Distributes over Intersection
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Union_Distributes_over_Intersection {α : Type _} (R S T : Set α) : R ∪ (S ∩ T) = (R ∪ S) ∩ (R ∪ T) := by sorry