fact: Definition CSUC_func_scale {R : ConstructiveReals} (a : CRcarrier R) (f : PartialFunction (CRcarrier R)) : Is_CSUC_func f -> Is_CSUC_func (Xscale a f).
imports: QArith Qminmax Qpower Qabs ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructivePower ConstructiveLimits ConstructiveDiagonal ConstructivePartialFunctions ConstructiveUniformCont ConstructiveCauchyIntegral CMTbase CMTPositivity CMTIntegrableFunctions CMTFullSets CMTIntegrableSets