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

lift_map_functor_map

Mathlib.CategoryTheory.Quotient

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

← MathLib Explorer