where represents the completion of the injective tensor product (which in this case is identical to the completion of the projective tensor product).
where represents the completion of the injective tensor product (which in this case is identical to the completion of the projective tensor product)