rw [not_nonloop_iff_cl.1 he, diff_self, eq_empty_iff_forall_not_mem]
case neg
α : Type u_1
M✝ N : Matroid α
e✝ f g : α
I X P D : Set α
M : Matroid α
e : α
he : ¬M.Nonloop e
⊢ {f | M.Parallel e f} = M.cl {e} \ M.cl ∅
case neg
α : Type u_1
M✝ N : Matroid α
e✝ f g : α
I X P D : Set α
M : Matroid α
e : α
he : ¬M.Nonloop e
⊢ ∀ (x : α), x ∉ {f | M.Parallel e f}