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

theorem MeasureTheory.Integrable.mul_conj {X : Type u_1} [MeasureSpace X] [TopologicalSpace X] {f g : X → ℂ} (hf : Integrable f volume) (hf' : BoundedCompactSupport f volume) (hg : Integrable g volume) : Integrable (fun (x : X) => f x * (starRingEnd ℂ) (g x)) volume