fact: Definition MeasurableSetUnionIterate {IS : IntegrationSpace} (An : nat -> X (ElemFunc IS) -> Prop) (aInt : forall n:nat, MeasurableSet (An n)) : forall n:nat, MeasurableSet (UnionIterate An n).
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructivePower ConstructiveLimits ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTFullSets CMTIntegrableSets CMTprofile