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

uniqueUpToIso_hom_right

Mathlib.CategoryTheory.Bicategory.Kan.IsKan

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory.LeftExtension.IsKan.uniqueUpToIso_hom_right

← MathLib Explorer