∫ Утверждение Mathlib
_aux_Mathlib_CategoryTheory_Limits_Shapes_Pullback_Categorical_CatCospanTransform___macroRules_CategoryTheory_Limits_CatCospanTransform_termρ__1
Mathlib.CategoryTheory.Limits.Shapes.Pullback.Categorical.CatCospanTransform
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.CatCospanTransform._aux_Mathlib_CategoryTheory_Limits_Shapes_Pullback_Categorical_CatCospanTransform___macroRules_CategoryTheory_Limits_CatCospanTransform_termρ__1