{α : Type u} →
  {β : Type v} →
    {𝕜 : Type u_1} →
      [inst : NormedField 𝕜] →
        [inst_1 : TopologicalSpace α] →
          [inst_2 : SeminormedAddCommGroup β] →
            [NormedSpace 𝕜 β] → SMul (BoundedContinuousFunction α 𝕜) (BoundedContinuousFunction α β)