Remark 3.6.1.6. Let $X$ and $Y$ be finite simplicial sets. Then the product $X \times Y$ is finite (see Proposition 1.1.3.6).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.6.1.6. Let $X$ and $Y$ be finite simplicial sets. Then the product $X \times Y$ is finite (see Proposition 1.1.3.6).