Koszul sign rule (source code)

= Koszul sign rule
{c}
{title2=$(-1)^{pq}$}

Interchanging homogeneous objects of degrees $p$ and $q$ introduces $(-1)^{pq}$. In particular, moving a degree-minus-one differential past a degree-$p$ factor introduces $(-1)^p$. This convention produces the differential on the <tensor product of chain complexes>.