Set_Inequality
Provedproofwikiset-theorysubsets
Preamble
import Mathlib.Data.Set.Basic
Formal statement
theorem Set_Inequality {α : Type*} (S T : Set α) : S ≠ T ↔ ¬(S ⊆ T) ∨ ¬(T ⊆ S) := by sorrySource
import Mathlib.Data.Set.Basic
theorem Set_Inequality {α : Type*} (S T : Set α) : S ≠ T ↔ ¬(S ⊆ T) ∨ ¬(T ⊆ S) := by sorry