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