Theorem: cl_iInter_eq_iInter_cl' (Matroid/scratch.lean)

State before:
α : Type u_1
M : Matroid α
Xs : Ordinal.{u} → Set α
h : ∀ ⦃i j : Ordinal.{u}⦄, Xs i ⊆ Xs j ∨ Xs j ⊆ Xs i
b : Ordinal.{u}
⊢ M.cl (⋂ i ∈ Iic b, Xs i) = ⋂ i ∈ Iic b, M.cl (Xs i)
Tactic:
sorry
State after:
no goals