rw [← cl_inter_ground]
α : Type u_1
M M' N : Matroid α
e f : α
I J R B X Y Z K C C₁ C₂ : Set α
h : e ∈ M.E \ M.cl C
heC : e ∈ C
⊢ e ∈ M.cl C
α : Type u_1
M M' N : Matroid α
e f : α
I J R B X Y Z K C C₁ C₂ : Set α
h : e ∈ M.E \ M.cl C
heC : e ∈ C
⊢ e ∈ M.cl (C ∩ M.E)