Lebesgue covering theorem
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 .