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