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

ofIsoAbsKan

Mathlib.CategoryTheory.Bicategory.Kan.IsKan

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Bicategory.LeftLift.IsAbsKan.ofIsoAbsKan

← MathLib Explorer