• the canonical map $N \otimes _ B F(B) \to TF(B, N)$ of Lemma 46.4.3 is $B$-linear also with respect to the second $B$-module structure,

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).