Remark 13.8.1.label In Lemma 13.8.4, I would like to say that the mapping from $E \wh \otimes_{\pi} F^{*}$ to $L_{c}(E; F)^{*}$ defined by (3) is surjective. However, it does not seem right to me that this mapping is continuous at all. As such, I decided against mentioning the projective completion for this lemma.