`BookProof.NsSpatialMultiplier.l2Fourier_norm` (v : Lp ℂ 2 (volume : Measure V)) : ‖l2Fourier V v‖ = ‖v‖

Initializing...

`BookProof.NsSpatialMultiplier.l2Fourier_norm` (v : Lp ℂ 2 (volume : Measure V)) : ‖l2Fourier V v‖ = ‖v‖ · Prove2Me