Theorem: Matroid.parallelClasses_eq_discrete (Matroid/Simple.lean)

State before:
α : Type u_1
M N : Matroid α
e f g : α
I X P D : Set α
inst✝ : M.Simple
⊢ M.Simple
Tactic:
assumption
State after:
no goals