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

comp_vhcomp

Mathlib.CategoryTheory.Bicategory.Adjunction.Mate

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory.rightAdjointSquare.comp_vhcomp

← MathLib Explorer