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