 This Koszul complex is a resolution of the formula_17-module formula_23, i.e.,

Then, consider the Chevalley-Eilenberg cochain complex for the Koszul complex formula_25 considered as a dg module over the Lie algebra formula_8