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

desc

Mathlib.CategoryTheory.Bicategory.Kan.IsKan

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory.LeftLift.IsKan.desc

← MathLib Explorer