∀ {α : Type u_2} [inst : OmegaCompletePartialOrder α] {β γ : Type u_6} {f : β → γ} {g : α → Part β},
  OmegaCompletePartialOrder.ωScottContinuous g → OmegaCompletePartialOrder.ωScottContinuous fun x => f <$> g x