Remark 3.5.5.3 (Monotonicity). Let $m \geq 0$ and let $X$ be an $m$-groupoid. Then $X$ is also an $n$-groupoid for any $n \geq m$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.5.3 (Monotonicity). Let $m \geq 0$ and let $X$ be an $m$-groupoid. Then $X$ is also an $n$-groupoid for any $n \geq m$.