1 problem

Bar-complex resolution conjecture. If $\mathcal{P}$ is a Koszul operad, then ${{\mathsf{B}}_{\bullet}^{\mathcal{P}}\!A}$ is a resolution of the left $A$-module…