{α : Type u_1} →
  {γ : Type u_3} →
    [inst : MeasurableSpace α] →
      {μ : MeasureTheory.Measure α} →
        [inst_1 : TopologicalSpace γ] →
          {𝕜 : Type u_5} → [inst_2 : SMul 𝕜 γ] → [ContinuousConstSMul 𝕜 γ] → SMul 𝕜 (α →ₘ[μ] γ)