coboundaries₂_le_cocycles₂

Mathlib.RepresentationTheory.Homological.GroupCohomology.LowDegree

URI: https://scilib.ai/kg/mathlib#groupCohomology.coboundaries₂_le_cocycles₂

English

Coboundaries2 is contained in cocycles2; every coboundary is a cocycle.

Русский

Coboundaries2 ⊆ cocycles2; каждая кобундари является кокцикл.

LaTeX

$$$\text{coboundaries}_2 A \leq \text{cocycles}_2 A$$$

Lean4

theorem coboundaries₂_le_cocycles₂ : coboundaries₂ A ≤ cocycles₂ A :=
  by
  rintro _ ⟨x, rfl⟩
  exact d₁₂_apply_mem_cocycles₂ x

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru