1: \begin{definition}

2: Let $\Gamma$ be a graph with small three-dimensional faces, $x\in V(\Gamma)$, and  $\pi:\tilde\Gamma =\prod_{i=1}^k \sigma_i\to \Gamma$ a covering as in Theorem \ref{thm:covering}. Then a deck transformation of $\pi$ is an automorphism $\psi:\tilde\Gamma\to \Gamma$ such that $\pi\circ \psi = \psi$ and $\nabla_{\psi(e)} \circ \psi = \psi\circ \tilde\nabla_e$ for all edges $e\in E(\tilde\Gamma)$.

3: \end{definition}

4: