{k G A : Type u} →
  [inst : CommRing k] →
    [inst_1 : Group G] →
      [inst_2 : AddCommGroup A] →
        [inst_3 : Module k A] →
          [inst_4 : DistribMulAction G A] →
            [inst_5 : SMulCommClass G k A] →
              {f : G → A} →
                groupCohomology.IsCoboundary₁ f → ↥(groupCohomology.coboundaries₁ (Rep.ofDistribMulAction k G A))