0P4N Corollary 3.1.2. The map t^S,I±\hat{t}^{\pm}_{S,I} is an isomorphism of (HI,H)(H_{I},H)-bimodules L∓(I,S)→∼L±(S,I)∨=HomHIopp(L±(S,I),HI).L^{\mp}(I,S)\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}L^{\pm}(S,I)^{\vee}=\operatorname{Hom}\nolimits_{H_{I}^{\operatorname{opp}\nolimits}}(L^{\pm}(S,I),H_{I}).