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

smallObjectκ_isRegular

Mathlib.CategoryTheory.SmallObject.Basic

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MorphismProperty.smallObjectκ_isRegular

← MathLib Explorer