ScalingStacks

Proposition 12.1. If $W$ is a complete Segal space, then the map $g\colon(W^{F(1)})_{0}\rightarrow(W^{F(1)})_{\hoequiv}$ is a weak equivalence.