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