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

State before:
α : Type u_1
inst✝ : DecidableEq α
M✝ M' : Matroid α
e✝ f✝ : α
M : Matroid α
e f : α
⊢ (M.seriesExtend e f)✶ = M✶.parallelExtend e f
Tactic:
rw [seriesExtend, dual_dual]
State after:
no goals