∫ Утверждение Mathlib

instSmallCategoryI

Mathlib.CategoryTheory.Limits.Indization.IndObject

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.IndObjectPresentation.instSmallCategoryI

← MathLib Explorer