u_compact_support — Mathlib · SciLib

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

u_compact_support

Mathlib.Analysis.Calculus.BumpFunction.FiniteDimension

URI: https://scilib.ai/kg/mathlib#ExistsContDiffBumpBase.u_compact_support

← MathLib Explorer