Theorem: Matroid.conn_empty (Matroid/Connectivity.lean)

State before:
α : Type u_1
M✝ : Matroid α
B B' I I' J K X✝ Y : Set α
M : Matroid α
X : Set α
⊢ M.conn X ∅ = 0
Tactic:
rw [conn_comm, empty_conn]
State after:
no goals