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

to_ofQuivHom

Mathlib.CategoryTheory.Category.Quiv

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Prefunctor.to_ofQuivHom

← MathLib Explorer