fact: Definition IntegrableMin {IS : IntegrationSpace} (f g : PartialFunction (X (ElemFunc IS))) : IntegrableFunction f -> IntegrableFunction g -> IntegrableFunction (Xmin f g).
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructiveLimits ConstructivePartialFunctions CMTbase