website
On the (∞,1)-Grothendieck construction via straightening and unstraightening:
Last revised on November 4, 2021 at 14:21:40. See the history of this page for a list of all contributions to it.