Euler characteristic under a finite covering (source code)

= Euler characteristic under a finite covering

If $p:X\to Y$ is a finite covering of degree $d$ between spaces having finite CW type, then
$$
\chi(X)=d\chi(Y).
$$
A lifted CW structure has exactly $d$ cells above each cell of the base.