∀ {R : Type u_1} [inst : CommRing R] {L : Type u_2} [inst_1 : LieRing L] [inst_2 : LieAlgebra R L] {M : Type u_3}
  [inst_3 : AddCommGroup M] [inst_4 : Module R M] {c : L →ₗ[R] L →ₗ[R] M},
  (c ∈ LieModule.Cohomology.twoCochain R L M) = ∀ (x : L), (c x) x = 0