∫ Утверждение Mathlib
smul_nonpos_iff_pos_imp_nonpos
Mathlib.Algebra.Order.Module.Defs
URI: https://scilib.ai/kg/mathlib#smul_nonpos_iff_pos_imp_nonpos
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Module.Defs
URI: https://scilib.ai/kg/mathlib#smul_nonpos_iff_pos_imp_nonpos