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

lift_obj_functor_obj

Mathlib.CategoryTheory.Quotient

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Quotient.lift_obj_functor_obj

← MathLib Explorer