Theorem: Matroid.Parallel.eq (Matroid/Simple.lean)

State before:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
inst✝ : M.Simple
h : M.Parallel e f
⊢ e = f
Tactic:
rwa [Simple.parallel_iff_eq h.mem_ground_left] at h
State after:
no goals