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

whisker_lift

Mathlib.CategoryTheory.Bicategory.Extension

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

← MathLib Explorer