∫ Утверждение Mathlib
_aux_Mathlib_Tactic_CategoryTheory_BicategoricalComp___macroRules_CategoryTheory_Bicategory_term⊗𝟙_1
Mathlib.Tactic.CategoryTheory.BicategoricalComp
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory._aux_Mathlib_Tactic_CategoryTheory_BicategoricalComp___macroRules_CategoryTheory_Bicategory_term⊗𝟙_1