Continuous nonnegative scalar multiplication

instance instContinuousConstSMulNonneg {R : Type u_1} {α : Type u_2} [Semiring R] [PartialOrder R] [SMul R α] [TopologicalSpace α] [ContinuousConstSMul R α] : ContinuousConstSMul (Nonneg R) α

instance instContinuousSMulNonneg {R : Type u_1} {α : Type u_2} [Semiring R] [PartialOrder R] [SMul R α] [TopologicalSpace α] [TopologicalSpace R] [ContinuousSMul R α] : ContinuousSMul (Nonneg R) α