fact: Definition IntegrableSetNotNot {IS : IntegrationSpace} (A : (X (ElemFunc IS)) -> Prop) : IntegrableSet A -> IntegrableSet (fun x => ~~A x).
imports: Logic.ConstructiveEpsilon QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructivePower ConstructiveLimits ConstructiveDiagonal ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTFullSets CMTPositivity