Kerodon

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

Remark 3.5.1.6. Let $X$ and $Y$ be finite simplicial sets. Then the product $X \times Y$ is finite (see Proposition 1.1.3.11).