∫ Утверждение Mathlib

support_mem_nhds

Mathlib.Geometry.Manifold.BumpFunction

URI: https://scilib.ai/kg/mathlib#SmoothBumpFunction.support_mem_nhds

← MathLib Explorer