TY - RPRT TI - A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof AU - Dimitri Ara AU - Georges Maltsiniotis PY - 2020 UR - https://arxiv.org/abs/1804.03241 ID - 1804.03241 ER -