∫ Утверждение Mathlib
_aux_Mathlib_Combinatorics_Quiver_ReflQuiver___macroRules_CategoryTheory_ReflPrefunctor_term𝟭rq_1
Mathlib.Combinatorics.Quiver.ReflQuiver
URI: https://scilib.ai/kg/mathlib#CategoryTheory.ReflPrefunctor._aux_Mathlib_Combinatorics_Quiver_ReflQuiver___macroRules_CategoryTheory_ReflPrefunctor_term𝟭rq_1