{α : Type u_2} →
  {β : Type u_3} →
    {γ : Type u_4} →
      [inst : TopologicalSpace α] →
        [inst_1 : TopologicalSpace β] →
          [inst_2 : Zero β] →
            [inst_3 : TopologicalSpace γ] →
              [inst_4 : SMulZeroClass γ β] →
                [ContinuousSMul γ β] →
                  {F : Type u_5} →
                    [inst_6 : FunLike F α γ] → [ContinuousMapClass F α γ] → SMul F (CompactlySupportedContinuousMap α β)