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