∀ (R : Type u_3) (G : Type u_1) [inst : CommRing R] [inst_1 : Group G] [inst_2 : TopologicalSpace R]
  (X : Action (TopModuleCat R) G) (x : ↑((ContinuousCohomology.invariants R G).obj X).toModuleCat), ↑x - ↑x = 0