Theorem: Matroid.parallel'_iff_cl_eq_cl (Matroid/Parallel.lean)

State before:
α : Type u_1
M N : Matroid α
e✝ f✝ g : α
I X P D : Set α
e f : α
he : autoParam (e ∈ M.E) _auto✝
hf : autoParam (f ∈ M.E) _auto✝
⊢ M.Parallel' e f ↔ M.cl {e} = M.cl {f}
Tactic:
rw [Matroid.Parallel', and_iff_right he, and_iff_right hf]
State after:
no goals