# Kerodon

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

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).