isOpen_support — Mathlib · SciLib

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

isOpen_support

Mathlib.Geometry.Manifold.BumpFunction

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

← MathLib Explorer