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

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