Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Notation 2.5.1.13. In the situation of Proposition 2.5.1.12, we will refer to $( (C \boxtimes D)_{\ast }, \partial )$ as the tensor product of the chain complexes $(C_{\ast }, \partial )$ and $(D_{\ast }, \partial )$.