`BookProof.NsScalarFourier.nsScalarFourier_norm` (g : Lp ℂ 2 ((volume : Measure V).prod (volume : Measure W))) : ‖nsScalarFourier V W g‖ = ‖g‖

Initializing...

`BookProof.NsScalarFourier.nsScalarFourier_norm` (g : Lp ℂ 2 ((volume : Measure V).prod (volume : Measure W))) : ‖nsScalarFourier V W g‖ = ‖g‖ · Prove2Me