`BookProof.FourierMultiplierEsa.fourier_momentumOp_apply` (f : 𝓢(V, ℂ)) (m : V) (x : V) : (𝓕 (momentumOp m f) : 𝓢(V, ℂ)) x = ((2 * Real.pi * (inner ℝ x m) : ℝ) : ℂ) * (𝓕 f...

Initializing...

`BookProof.FourierMultiplierEsa.fourier_momentumOp_apply` (f : 𝓢(V, ℂ)) (m : V) (x : V) : (𝓕 (momentumOp m f) : 𝓢(V, ℂ)) x = ((2 * Real.pi * (inner ℝ x m) : ℝ) : ℂ) * (𝓕 f... · Prove2Me