simpa
α : Type u_1
M : Matroid α
C C' I X K C₁ C₂ R : Set α
e f x y : α
hC₁ : M.Circuit C₁
hC₂ : M.Circuit C₂
he : e ∈ C₁ ∩ C₂
hf : f ∈ C₁ \ C₂
⊢ ∀ (i : Unit), (fun x => e) i ∈ C₁ ∩ (fun x => C₂) i
no goals