Lebesgue covering theorem

From Topospaces

Statement

Suppose is a Compact polyhedron (?), i.e., it is the underlying topological space, or geometric realization, of a Finite simplicial complex (?) which we denote by . Then, the dimension of (defined as (size of largest face of ) minus one) equals the Covering dimension (?) of .