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