Intersection_is_Commutative_v2
Provedproofwikiretry
Set intersection is commutative.
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Intersection_is_Commutative_v2 {α : Type _} (S T : Set α) : S ∩ T = T ∩ S := by sorrySet intersection is commutative.
import Mathlib.Data.Set.Basic
theorem Intersection_is_Commutative_v2 {α : Type _} (S T : Set α) : S ∩ T = T ∩ S := by sorry