∫ Утверждение Mathlib
mem_smul_set_iff_inv_smul_mem₀
Mathlib.Algebra.GroupWithZero.Action.Pointwise.Set
URI: https://scilib.ai/kg/mathlib#Set.mem_smul_set_iff_inv_smul_mem₀
∫ Утверждение Mathlib
Mathlib.Algebra.GroupWithZero.Action.Pointwise.Set
URI: https://scilib.ai/kg/mathlib#Set.mem_smul_set_iff_inv_smul_mem₀