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

State before:
α : Type u_1
ι : Type u_2
s t r : Set α
⊢ t \ s ∩ (r \ s) = (t ∩ r) \ s
Tactic:
simp only [diff_eq, inter_assoc, inter_comm sᶜ, inter_self]
State after:
no goals