∫ Утверждение Mathlib
rOut_pos
Mathlib.Geometry.Manifold.BumpFunction
URI: https://scilib.ai/kg/mathlib#SmoothBumpFunction.rOut_pos
∫ Утверждение Mathlib
Mathlib.Geometry.Manifold.BumpFunction
URI: https://scilib.ai/kg/mathlib#SmoothBumpFunction.rOut_pos