fact: Definition IntegralRepresentationShift {IS : IntegrationSpace} (fInt : @IntegralRepresentation IS) (n : nat) : @IntegralRepresentation IS.
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveCauchyAbs ConstructiveSum ConstructivePower ConstructiveLimits ConstructiveDiagonal ConstructivePartialFunctions CMTbase CMTIntegrableFunctions