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

Initializing...

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