Cartan–Eilenberg resolution

GPTKB entity