Intersection_is_Commutative
Provedcommutativityintersection-is-commutativeproofwikiset-intersection
Set intersection is commutative: S ∩ T = T ∩ S.
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Intersection_is_Commutative {α : Type*} (S T : Set α) : S ∩ T = T ∩ S := by sorrySource