Chevalley–Eilenberg differential

GPTKB entity