ScalingStacks

Lemma 2 The bicomplex $C/C_{s}$ is isomorphic to the bicomplex

$$0\longrightarrow\overline{C}(D_{0})\{1\}\stackrel{{\scriptstyle u_{X}-l_{X}}}{{\longrightarrow}}\overline{C}(D_{0})\{-1\}\stackrel{{\scriptstyle w}}{{\longrightarrow}}\overline{C}(D_{1})\{-2\}\longrightarrow 0$$

(144)