∫ Утверждение Mathlib

instCategoryHom

Mathlib.CategoryTheory.Bicategory.Adjunction.Adj

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory.Adj.instCategoryHom

← MathLib Explorer