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

uniqueUpToIso_inv_right

Mathlib.CategoryTheory.Bicategory.Kan.IsKan

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

← MathLib Explorer