Homomorphism of simplicial abelian groups which is homotopy equivalence

The argument here is a kludge... but want to stop doing simplicial sets
now and we need this result.