1 problem

Koszul-dual duality conjecture. The derived linear dual of the dg $\operatorname{CE}_\bullet(\operatorname{\mathfrak g})$-comodule…