instIsTriangulatedIsoClosure

Mathlib.CategoryTheory.Triangulated.Subcategory

URI: https://scilib.ai/kg/mathlib#CategoryTheory.ObjectProperty.instIsTriangulatedIsoClosure

English

There is an instance asserting that if P is triangulated, then P.isoClosure is triangulated as well.

Русский

Существует инстанс: если P треANGулирована, то P.isoClosure тоже треANGулирована.

LaTeX

$$$P.isoClosure.IsTriangulated$$$

Lean4

instance [P.IsTriangulated] : P.isoClosure.IsTriangulated where

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

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

Разделы

Аффилиация

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