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