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

eqToHomTransIso_refl_refl

Mathlib.CategoryTheory.Bicategory.EqToHom

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

← MathLib Explorer