theorem MeasureTheory.Measure.measurable_map' {A : Type u_1} {B : Type u_2} {C : Type u_3} [MeasurableSpace A] [MeasurableSpace B] [MeasurableSpace C] {f : A → B → C} (hf : Measurable fun (x : A × B) => match x with | (x, y) => f x y) {μ : A → Measure B} (hμ₁ : Measurable μ) [∀ (x : A), IsFiniteMeasure (μ x)] : Measurable fun (x : A) => map (f x) (μ x)