{α : Type u_1} →
  {β : Type u_2} →
    {γ : Type u_3} →
      {δ : Type u_4} →
        [inst : MeasurableSpace α] →
          {μ : MeasureTheory.Measure α} →
            [inst_1 : TopologicalSpace δ] →
              [inst_2 : TopologicalSpace β] →
                [inst_3 : TopologicalSpace γ] →
                  (g : β → γ → δ) → Continuous (Function.uncurry g) → (α →ₘ[μ] β) → (α →ₘ[μ] γ) → α →ₘ[μ] δ