∫ Утверждение Mathlib
distinguished_cocone_triangle₁
Mathlib.CategoryTheory.Triangulated.Pretriangulated
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Pretriangulated.distinguished_cocone_triangle₁
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Triangulated.Pretriangulated
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Pretriangulated.distinguished_cocone_triangle₁