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