fact: Definition IntegralRepresentationWeave {IS : IntegrationSpace} (a b : @IntegralRepresentation IS) : @IntegralRepresentation IS.
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructiveLimits ConstructivePartialFunctions CMTbase