`BookProof.NsScalarVectorCurry.isSliceOf_curryLI` (f : Lp (Lp ℂ 2 ν) 2 μ) : IsSliceOf f (curryLI f)

Initializing...

`BookProof.NsScalarVectorCurry.isSliceOf_curryLI` (f : Lp (Lp ℂ 2 ν) 2 μ) : IsSliceOf f (curryLI f) · Prove2Me