fact: Definition IntegralSeries {IS : IntegrationSpace} (fInt : @IntegralRepresentation IS) : CRcarrier (RealT (ElemFunc IS)).
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructiveLimits ConstructivePartialFunctions CMTbase