Remark 3.5.7.6. Let $n$ be an integer. Then the collection of $n$-truncated Kan complexes is closed under products.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.7.6. Let $n$ be an integer. Then the collection of $n$-truncated Kan complexes is closed under products.