TY  - RPRT
TI  - Strict \infty-groupoids are Grothendieck \infty-groupoids
AU  - Dimitri Ara
PY  - 2013
DO  - 10.1016/j.jpaa.2013.03.008
UR  - https://arxiv.org/abs/1212.3085
ID  - 1212.3085
ER  -