Corollary 14.7. The functor induced by is an equivalence of -categories.
Original source: arXiv:1112.0040v6
Original source · 1112.0040v6
Corollary 14.7. The functor induced by is an equivalence of -categories.
Original source: arXiv:1112.0040v6
Original source · 1112.0040v6