fact: Definition IntegralRepresentationAbs { IS : IntegrationSpace } : @IntegralRepresentation IS -> @IntegralRepresentation IS.
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructiveLimits ConstructivePartialFunctions CMTbase