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

instZeroHom_1

Mathlib.Algebra.Category.Grp.Preadditive

URI: https://scilib.ai/kg/mathlib#AddCommGrpCat.instZeroHom_1

← MathLib Explorer