Example 4.8.1.17. Let $n \geq 0$ and let $\operatorname{\mathcal{C}}$ be an $(n,1)$-category. Then the core $\operatorname{\mathcal{C}}^{\simeq }$ is an $n$-groupoid. This follows by combining Remark 4.8.1.16 with Example 4.8.1.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$