∫ Утверждение Mathlib
preservesFiniteColimits_embedding
Mathlib.CategoryTheory.Abelian.GrothendieckCategory.ModuleEmbedding.Opposite
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Abelian.IsGrothendieckAbelian.OppositeModuleEmbedding.preservesFiniteColimits_embedding