∫ Утверждение Mathlib
algebraMap_eq_inl'
Mathlib.Algebra.TrivSqZeroExt
URI: https://scilib.ai/kg/mathlib#TrivSqZeroExt.algebraMap_eq_inl'
∫ Утверждение Mathlib
Mathlib.Algebra.TrivSqZeroExt
URI: https://scilib.ai/kg/mathlib#TrivSqZeroExt.algebraMap_eq_inl'