Cartan%E2%80%93Eilenberg resolution