∀ {k H : Type u} [inst : CommRing k] [inst_1 : Group H] {A : Rep k H},
  groupCohomology.mapShortComplexH2 (MonoidHom.id H) (CategoryTheory.CategoryStruct.id A) =
    CategoryTheory.CategoryStruct.id (groupCohomology.shortComplexH2 A)