Relative_Complement_of_Relative_Complement

import Mathlib.Data.Set.Basic

theorem Relative_Complement_of_Relative_Complement {α : Type _} (S T : Set α) (h : T ⊆ S) : S \ (S \ T) = T := by sorry