II.D84 — Chain Complex

Chain complex on the primorial tower. The boundary map d_n reduces from stage n to stage n-1. Tower coherence: reduce(reduce(x,n-1),n-2) = reduce(x,n-2).