`BookProof.NsPartialFourier.nsPartialFourier_norm` (v : Lp (Lp ℂ 2 (volume : Measure W)) 2 (volume : Measure V)) : ‖nsPartialFourier V W v‖ = ‖v‖

Initializing...

`BookProof.NsPartialFourier.nsPartialFourier_norm` (v : Lp (Lp ℂ 2 (volume : Measure W)) 2 (volume : Measure V)) : ‖nsPartialFourier V W v‖ = ‖v‖ · Prove2Me