{ι : Sort u_1} →
  {α : Type u_2} →
    {β : Type u_3} →
      [inst : MeasurableSpace α] →
        [inst_1 : MeasurableSpace β] →
          {f : ι → α → β} →
            {μ : MeasureTheory.Measure α} → (∀ (i : ι), AEMeasurable (f i) μ) → (α → (ι → β) → Prop) → ι → α → β