Small simplex theorem
= Small simplex theorem
For an open cover $\mathcal U$ of $X$, singular chains generated by simplices lying inside one member of $\mathcal U$ form a subcomplex chain-homotopy equivalent to the full singular chain complex. Repeated barycentric subdivision makes chains small.