`BookProof.NsScalarVectorCurry.isSliceOf_fibMk` (a : Lp ℂ 2 μ) (c : Lp ℂ 2 ν) : IsSliceOf (fibMk a c) (prodMk a c)

Initializing...

`BookProof.NsScalarVectorCurry.isSliceOf_fibMk` (a : Lp ℂ 2 μ) (c : Lp ℂ 2 ν) : IsSliceOf (fibMk a c) (prodMk a c) · Prove2Me