Quillen's lemma
= Quillen's lemma
{wiki=Quillen's_lemma}
Quillen's lemma is a result in algebraic topology, specifically within the context of homotopy theory. It deals with the properties of certain types of simplicial sets and the concept of "Kan complexes.