∀ {α : Type u_1} {f g : α → ℚ → ℝ} {a : α} (p : α → Prop) [inst : DecidablePred p],
  (p a → ProbabilityTheory.IsRatStieltjesPoint f a) →
    (¬p a → ProbabilityTheory.IsRatStieltjesPoint g a) →
      ProbabilityTheory.IsRatStieltjesPoint (fun a => if p a then f a else g a) a