∀ {α : Type u_1} {β : Type u_2} {γ : Type u_3} {δ : Type u_4} {l : Filter α} {f : α → β} {g : α → γ},
  Filter.EventuallyConst f l →
    ∀ (op : β → γ → δ), Filter.EventuallyConst g l → Filter.EventuallyConst (fun x => op (f x) (g x)) l