Section Continuity_op.
Context {U : UniformSpace} {K : AbsRing} {V : NormedModule K}.
End Continuity_op.

Lemma continuous_mult {U : UniformSpace} {K : AbsRing}
(f g : U -> K) (x : U) :
continuous f x -> continuous g x
-> continuous (fun y => mult (f y) (g y)) x.