Theorem: Matroid.Parallel'.mem_cl (Matroid/Parallel.lean)

State before:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
h : M.Parallel' e f
⊢ e ∈ M.cl {f}
Tactic:
rw [← h.cl_eq_cl]
State after:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
h : M.Parallel' e f
⊢ e ∈ M.cl {e}

State before:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
h : M.Parallel' e f
⊢ e ∈ M.cl {e}
Tactic:
apply mem_cl_self _ _ h.mem_ground_left
State after:
no goals