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

forgetToCat_full

Mathlib.CategoryTheory.Category.Grpd

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Grpd.forgetToCat_full

← MathLib Explorer