`BookProof.ChapterSphericalPlancherel.integral_eq_two_smul_of_even` {E : Type*} [NormedAddCommGroup E] [NormedSpace ℝ E] (f : ℝ → E) (h : ∀ x, f (-x) = f x) (hf : Integrable f) : ∫

Initializing...

`BookProof.ChapterSphericalPlancherel.integral_eq_two_smul_of_even` {E : Type*} [NormedAddCommGroup E] [NormedSpace ℝ E] (f : ℝ → E) (h : ∀ x, f (-x) = f x) (hf : Integrable f) : ∫ · Prove2Me