ScalingStacks

Proposition 3.1.10 ([SY19, Proposition 3.13]). Let $\mathcal{O}$ be an $\infty$-operad and let $\mathcal{U}$ be an essentially $d$-operad. The $\infty$-category $\underline{\operatorname{Alg}}_{\mathcal{O}}\left(\mathcal{U}\right)$ is an essentially $d$-category.