`BookProof.NsPartialFourier.partialFourier_fibreOp` (T : F →L[ℂ] G) (f : Lp F 2 (volume : Measure V)) : partialFourier V G (fibreOp V T f) = fibreOp V T (partialFourier V F f)

Initializing...

`BookProof.NsPartialFourier.partialFourier_fibreOp` (T : F →L[ℂ] G) (f : Lp F 2 (volume : Measure V)) : partialFourier V G (fibreOp V T f) = fibreOp V T (partialFourier V F f) · Prove2Me