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

faithful_embedding

Mathlib.CategoryTheory.Abelian.GrothendieckCategory.ModuleEmbedding.Opposite

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Abelian.IsGrothendieckAbelian.OppositeModuleEmbedding.faithful_embedding

← MathLib Explorer