theorem MeasureTheory.Integrable.conj {X : Type u_1} [MeasureSpace X] {f : X → ℂ} (hf : Integrable f volume) : Integrable (fun (x : X) => (starRingEnd ℂ) (f x)) volume