Theorem: Set.diff_eq_diff_inter_of_subset (Matroid/ForMathlib/Set.lean)

State before:
α : Type u_1
ι : Type u_2
s t : Set α
h : s ⊆ t
r : Set α
⊢ s \ r = s \ (r ∩ t)
Tactic:
rw [diff_inter, diff_eq_empty.2 h, union_empty]
State after:
no goals