ScalingStacks

Theorem 1.0.2. Let $\mathcal{P}\to\mathcal{Q}$ be a $d$-equivalence of reduced $\infty$-operads and let $\mathcal{R}$ be a $k$-connected reduced $\infty$-operad. The map $\mathcal{P}\otimes\mathcal{R}\to\mathcal{Q}\otimes\mathcal{R}$ is a $\left(d+k+2\right)$-equivalence.