∫ Утверждение Mathlib
_aux_Mathlib_CategoryTheory_Bicategory_Monad_Basic___macroRules_CategoryTheory_Bicategory_termΔ[_]_1
Mathlib.CategoryTheory.Bicategory.Monad.Basic
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory._aux_Mathlib_CategoryTheory_Bicategory_Monad_Basic___macroRules_CategoryTheory_Bicategory_termΔ[_]_1