normed — Mathlib · SciLib

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

normed

Mathlib.Analysis.Calculus.BumpFunction.Normed

URI: https://scilib.ai/kg/mathlib#ContDiffBump.normed

← MathLib Explorer