fact: Definition SubsetUnion {A : Set} (hn : list (A -> Prop)) : A -> Prop := fold_right (fun fg acc x => fg x \/ acc x) (fun x => False) hn.
imports: QArith_base List ConstructiveReals ConstructiveRealsMorphisms ConstructiveAbs ConstructiveSum ConstructiveMinMax ConstructiveLimits ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTIntegrableSets CMTFullSets CMTcast CMTprofile