Talk:Cartan–Eilenberg resolution