`BookProof.NsScalarVectorCurry.curryLI_setIntegral_rect` (f : Lp (Lp ℂ 2 ν) 2 μ) {s : Set V} {t : Set W} (hs : MeasurableSet s) (ht : MeasurableSet t) (hμs : μ s ≠ ∞) (hνt : ν t ≠

Initializing...

`BookProof.NsScalarVectorCurry.curryLI_setIntegral_rect` (f : Lp (Lp ℂ 2 ν) 2 μ) {s : Set V} {t : Set W} (hs : MeasurableSet s) (ht : MeasurableSet t) (hμs : μ s ≠ ∞) (hνt : ν t ≠ · Prove2Me