∀ {X : Type u_2} {Y : Type u_3} {T : Type u_5} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y]
  [inst_2 : TopologicalSpace T] {t : Set X} (f : T → X → Y) (g : C(↑t, Y)),
  ContinuousOn (Function.uncurry f) (Set.univ ×ˢ t) → Continuous fun x => ContinuousMap.mkD (t.restrict (f x)) g