∫ Утверждение Mathlib
restrictScalars_injective
Mathlib.Algebra.Algebra.NonUnitalHom
URI: https://scilib.ai/kg/mathlib#NonUnitalAlgHom.restrictScalars_injective
∫ Утверждение Mathlib
Mathlib.Algebra.Algebra.NonUnitalHom
URI: https://scilib.ai/kg/mathlib#NonUnitalAlgHom.restrictScalars_injective