∫ Утверждение Mathlib
image_inclusion
Mathlib.GroupTheory.GroupAction.SubMulAction
URI: https://scilib.ai/kg/mathlib#SubMulAction.image_inclusion
∫ Утверждение Mathlib
Mathlib.GroupTheory.GroupAction.SubMulAction
URI: https://scilib.ai/kg/mathlib#SubMulAction.image_inclusion