∫ Утверждение Mathlib
Mathlib.CategoryTheory.Adhesive
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Type.adhesive
← MathLib Explorer