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

State before:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
h : M.Parallel' e f
he : M.Nonloop e
⊢ M.Parallel e f
Tactic:
rwa [Nonloop.parallel_iff_cl_eq_cl, h.cl_eq_cl]
State after:
no goals