∀ {k G : Type u_1} [inst : CommRing k] [inst_1 : Group G] (A : Rep k G),
  CategoryTheory.CategoryStruct.comp ((groupHomology.inhomogeneousChains A).d 1 0)
      (HomologicalComplex.pOpcycles (groupHomology.inhomogeneousChains A) 0) =
    0