∫ Утверждение Mathlib
coe_srangeRestrict
Mathlib.Algebra.Group.Subsemigroup.Operations
URI: https://scilib.ai/kg/mathlib#MulHom.coe_srangeRestrict
∫ Утверждение Mathlib
Mathlib.Algebra.Group.Subsemigroup.Operations
URI: https://scilib.ai/kg/mathlib#MulHom.coe_srangeRestrict