{E : Type u_1} →
  [inst : MeasurableSpace E] →
    {Ω : Type u_2} →
      {x : MeasurableSpace Ω} →
        (Ω → E) →
          Set E →
            MeasureTheory.Measure Ω → autoParam (MeasureTheory.Measure E) MeasureTheory.pdf.IsUniform._auto_1 → Prop