∫ Утверждение Mathlib
_aux_Mathlib_CategoryTheory_Limits_Shapes_Terminal___macroRules_CategoryTheory_Limits_term⊥___1
Mathlib.CategoryTheory.Limits.Shapes.Terminal
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits._aux_Mathlib_CategoryTheory_Limits_Shapes_Terminal___macroRules_CategoryTheory_Limits_term⊥___1