`BookProof.NsSpatialMultiplier.fourier_opL2_momentumOp` (m : V) (f : 𝓢(V, ℂ)) : l2Fourier V (opL2 (momentumOp m) (schwartzEquiv V f)) = (mulSymbolOp (fun x => 2 * Real.pi * (inner

Initializing...

`BookProof.NsSpatialMultiplier.fourier_opL2_momentumOp` (m : V) (f : 𝓢(V, ℂ)) : l2Fourier V (opL2 (momentumOp m) (schwartzEquiv V f)) = (mulSymbolOp (fun x => 2 * Real.pi * (inner · Prove2Me