Theorem: Matroid.seriesExtend_self (Matroid/Constructions/ParallelExtension.lean)

State before:
α : Type u_1
inst✝ : DecidableEq α
M✝ M' : Matroid α
e✝ f : α
M : Matroid α
e : α
⊢ M.seriesExtend e e = M.addColoop e
Tactic:
rw [seriesExtend, parallelExtend_self, addColoop]
State after:
no goals