∫ Утверждение Mathlib
pos_of_pos
Mathlib.Analysis.SpecialFunctions.SmoothTransition
URI: https://scilib.ai/kg/mathlib#Real.smoothTransition.pos_of_pos
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.SmoothTransition
URI: https://scilib.ai/kg/mathlib#Real.smoothTransition.pos_of_pos