`BookProof.ChapterSphericalPlancherel.fourier_eq_cos_sub_sin` (f : ℝ → ℂ) (w : ℝ) : 𝓕 f w = ∫ x : ℝ, ((Real.cos (2 * π * (x * w)) : ℂ) - (Real.sin (2 * π * (x * w)) : ℂ) *...

Initializing...

`BookProof.ChapterSphericalPlancherel.fourier_eq_cos_sub_sin` (f : ℝ → ℂ) (w : ℝ) : 𝓕 f w = ∫ x : ℝ, ((Real.cos (2 * π * (x * w)) : ℂ) - (Real.sin (2 * π * (x * w)) : ℂ) *... · Prove2Me