The Koszul propérade bar-to-levelled composition quasi-isomorphism
Koszul bar-to-levelled conjecture. The composition
MathDB