∀ {α : Type u_1} [inst : TopologicalSpace α] {R : Type u_3} {M : Type u_2} [inst_1 : TopologicalSpace M]
  [inst_2 : SMul R M] [ContinuousConstSMul R M] (r : R) (f : C(α, M)), Continuous fun x => r • f x