`BookProof.NsSpatialMultiplier.l2Fourier_inner` (v u : Lp ℂ 2 (volume : Measure V)) : (inner ℂ (l2Fourier V v) (l2Fourier V u) : ℂ) = inner ℂ v u

Initializing...

`BookProof.NsSpatialMultiplier.l2Fourier_inner` (v u : Lp ℂ 2 (volume : Measure V)) : (inner ℂ (l2Fourier V v) (l2Fourier V u) : ℂ) = inner ℂ v u · Prove2Me