instEpiGShortComplexTruncLE

Mathlib.Algebra.Homology.Embedding.TruncLEHomology

URI: https://scilib.ai/kg/mathlib#HomologicalComplex.instEpiGShortComplexTruncLE

English

The map g in K.shortComplexTruncLE e is epi in each degree.

Русский

Отображение g в K.shortComplexTruncLE e является эпиморфизмом в каждом градусе.

LaTeX

$$$ \text{Epi}\big( K.shortComplexTruncLE e \).g_i \big) $$$

Lean4

instance : Epi (K.shortComplexTruncLE e).g := by
  dsimp [shortComplexTruncLE]
  infer_instance

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

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

Разделы

Аффилиация

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