`BookProof.NsPartialFourier.nsPartialFourier_fibreOp` (T : Lp ℂ 2 (volume : Measure W) →L[ℂ] Lp ℂ 2 (volume : Measure W)) (f : Lp (Lp ℂ 2 (volume : Measure W)) 2 (volume : Measure

Initializing...

`BookProof.NsPartialFourier.nsPartialFourier_fibreOp` (T : Lp ℂ 2 (volume : Measure W) →L[ℂ] Lp ℂ 2 (volume : Measure W)) (f : Lp (Lp ℂ 2 (volume : Measure W)) 2 (volume : Measure · Prove2Me