∫ Утверждение Mathlib
sigmoid_monotone
Mathlib.Analysis.SpecialFunctions.Sigmoid
URI: https://scilib.ai/kg/mathlib#unitInterval.sigmoid_monotone
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.Sigmoid
URI: https://scilib.ai/kg/mathlib#unitInterval.sigmoid_monotone