fact: Definition IntegrableSetsGen (IS : IntegrationSpace) : Type := forall (A : (X (ElemFunc IS)) -> Prop) (Aint : IntegrableSet A) (eps : CRcarrier (RealT (ElemFunc IS))), 0 < eps -> SetApprox A Aint eps.
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructivePower ConstructiveLimits ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTFullSets CMTIntegrableSets CMTprofile