theorem Filter.EventuallyEq.eventuallyEq_ite {X : Type u_1} {Y : Type u_2} {l : Filter X} {f g : X → Y} {P : X → Prop} [DecidablePred P] (h : f =ᶠ[l] g) : (fun (x : X) => if P x then f x else g x) =ᶠ[l] f