∫ Утверждение Mathlib
ReflQuiv
Mathlib.CategoryTheory.Category.ReflQuiv
URI: https://scilib.ai/kg/mathlib#CategoryTheory.ReflQuiv
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Category.ReflQuiv
URI: https://scilib.ai/kg/mathlib#CategoryTheory.ReflQuiv