(cohomology,ZZ,ChainComplex)
HH^i C
-- homology at the i-th spot of the chain complex
C
.
By definition, this is the same as HH_(-i) C.
