Theorem: Matroid.ConnectedTo.of_dual (Matroid/Connectivity.lean)

State before:
α : Type u_1
M : Matroid α
C K : Set α
e f g : α
h : M✶.ConnectedTo e f
⊢ M.ConnectedTo e f
Tactic:
simpa using h.to_dual
State after:
no goals