∫ Утверждение Mathlib
_aux_Mathlib_CategoryTheory_Bicategory_Grothendieck___macroRules_CategoryTheory_Pseudofunctor_CoGrothendieck_term∫ᶜ__1
Mathlib.CategoryTheory.Bicategory.Grothendieck
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Pseudofunctor.CoGrothendieck._aux_Mathlib_CategoryTheory_Bicategory_Grothendieck___macroRules_CategoryTheory_Pseudofunctor_CoGrothendieck_term∫ᶜ__1