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