simp [hfI, heI]
α : Type u_1
M N : Matroid α
e f g : α
I✝ X P D : Set α
h : M.Parallel' e f
inst✝ : DecidableEq α
hrw : ⇑(Equiv.swap e f) '' M.E = M.E
I : Set α
heI : e ∉ I
hfI : f ∉ I
⊢ e ∈ I ↔ f ∈ I
no goals