`BookProof.ChapterSphericalPlancherel.integrable_bdd_mul` (G : ℝ → ℂ) (hG : Integrable G) (u : ℝ → ℝ) (hu : Continuous u) (hb : ∀ x, |u x| ≤ 1) : Integrable (fun x : ℝ => (u x : ℂ)

Initializing...

`BookProof.ChapterSphericalPlancherel.integrable_bdd_mul` (G : ℝ → ℂ) (hG : Integrable G) (u : ℝ → ℝ) (hu : Continuous u) (hb : ∀ x, |u x| ≤ 1) : Integrable (fun x : ℝ => (u x : ℂ) · Prove2Me