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

State before:
α : Type u_1
ι : Type u_2
s t r : Set α
⊢ (s ∩ t) \ r = s \ r ∩ t
Tactic:
simp_rw [diff_eq, inter_right_comm]
State after:
no goals