∫ Утверждение Mathlib
smul_preimage_set_subsetₛₗ
Mathlib.GroupTheory.GroupAction.Pointwise
URI: https://scilib.ai/kg/mathlib#smul_preimage_set_subsetₛₗ
∫ Утверждение Mathlib
Mathlib.GroupTheory.GroupAction.Pointwise
URI: https://scilib.ai/kg/mathlib#smul_preimage_set_subsetₛₗ