Corollary 4.1.1.9 (083V)
0 tagged blocks link here.
Jacob Lurie
Original source: arXiv:math/0608040v4