ScalingStacks

Corollary 5.2. For each symmetric monoidal $\infty$-category $\mathcal{V}$ which is $\otimes$-presentable, there is a natural equivalence in $\mathcal{V}$:

$$\int_{M}\sym(V)~\simeq~\sym(M\otimes V)~.$$