Quillen's lemma
[fr] Lemme de Quillen
[sv] Quillens lemma