∀ {S : Type u_2} {R : Type u_3} {M : Type u_4} [inst : TopologicalSpace R] [inst_1 : TopologicalSpace M]
  [inst_2 : SMul S R] [inst_3 : SMul S M] [ContinuousConstSMul S R] [ContinuousConstSMul S M],
  ContinuousConstSMul S (TrivSqZeroExt R M)