Set_Difference_is_Subset
Provedproofwikiset-differenceset-difference-is-subsetsubsets
Set Difference is Subset
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Difference_is_Subset {α : Type _} (S T : Set α) : S \ T ⊆ S := by sorry