# Kerodon

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

Remark 4.3.3.16. Let $X$ and $Y$ be finite simplicial sets. Then the join $X \star Y$ is also finite.