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

functor_comp_forget

Mathlib.CategoryTheory.Grothendieck

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Grothendieck.functor_comp_forget

← MathLib Explorer