In this thesis by Martin Hamilton on Finiteness Conditions in Group Cohomology there is on page 11 a reference to following result:
Theorem 1.2.14. If $G$ is a torsion-free group and $H$ is a subgroup of finite index, then
$$ \operatorname{cd} H = \operatorname{cd} G $$
where $\operatorname{cd} G $ is the cohomological dimension of $G$ defined as the projective dimension of $\mathbb{Z}$ considered as $\mathbb{Z}G$-module with trivial $G$ action, i.e. $g.1=1$ for every $g \in G$.
That is $\operatorname{cd} G = \operatorname{proj.dim}_{\mathbb{Z}G} \mathbb{Z}$ and the latter is defined as the minimal length of all projecive resolutions
$$ 0 \to P_n \to P_{n-1} \to ... \to P_1 \to P_0 \to \mathbb{Z} \to 0 $$
of projective $\mathbb{Z}G$-modules $P_j$.
In the thesis the author gave as reference Jean-Pierre Serre's publication "Cohomologie des groupes discrets", can be found in this Bourbaki collection band: https://www.springer.com/gp/book/9783540057208
Unfortunatelly, this result cannot be found in this publication. So my concern is where I can find a complete proof of the quoted Theorem above.
