{α : Type u_1} →
  {Ω : Type u_2} →
    {ι : Type u_3} →
      {_mα : MeasurableSpace α} →
        {_mΩ : MeasurableSpace Ω} →
          (ι → Set (Set Ω)) →
            ProbabilityTheory.Kernel α Ω →
              autoParam (MeasureTheory.Measure α) ProbabilityTheory.Kernel.iIndepSets._auto_1 → Prop