`BookProof.NsScalarVectorCurry.isSliceOf_fibTensor` (t : TensorProduct ℂ (Lp ℂ 2 μ) (Lp ℂ 2 ν)) : IsSliceOf (fibTensor t) (prodTensor t)

Initializing...

`BookProof.NsScalarVectorCurry.isSliceOf_fibTensor` (t : TensorProduct ℂ (Lp ℂ 2 μ) (Lp ℂ 2 ν)) : IsSliceOf (fibTensor t) (prodTensor t) · Prove2Me