∫ Утверждение Mathlib
set_smul_mem_nhds_zero_iff
Mathlib.Topology.Algebra.ConstMulAction
URI: https://scilib.ai/kg/mathlib#set_smul_mem_nhds_zero_iff
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.ConstMulAction
URI: https://scilib.ai/kg/mathlib#set_smul_mem_nhds_zero_iff