Extension Theorem in the Theory of Isohedral Tilings and Its Applications

A detailed proof is given for one of the basic theorems in the theory of isohedral tilings, the extension theorem, which describes necessary and sufficient conditions under which a given polyhedron admits an isohedral tiling of a space of constant curvature.