fact: Definition ProdSubsetIntersect {I J : IntegrationSpace} (hn : list (@ProdIntegrable I J)) (subsetf subsetg : list bool) : @ProdIntegrable I J.
imports: QArith_base List ConstructiveReals ConstructiveRealsMorphisms ConstructiveAbs ConstructiveSum ConstructiveMinMax ConstructiveLimits ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTIntegrableSets CMTFullSets CMTcast CMTprofile