nonempty_support — Mathlib · SciLib

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

nonempty_support

Mathlib.Geometry.Manifold.BumpFunction

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

← MathLib Explorer