instFunLikeSubtypeForallCarrierVModuleCatMemSubmoduleCoboundaries₁

Mathlib.RepresentationTheory.Homological.GroupCohomology.LowDegree

URI: https://scilib.ai/kg/mathlib#groupCohomology.instFunLikeSubtypeForallCarrierVModuleCatMemSubmoduleCoboundaries₁

English

Two coboundaries are equal if their values agree pointwise.

Русский

Две границы равны, если они совпадают на каждом элементе.

LaTeX

$$$$ \forall f_1,f_2 : coboundaries_1(A), \\big( \\forall g \\in G, f_1(g) = f_2(g) \\big) \\Rightarrow f_1 = f_2. $$$$

Lean4

instance : FunLike (coboundaries₁ A) G A :=
  ⟨Subtype.val, Subtype.val_injective⟩

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

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

Разделы

Аффилиация

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