∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Module.Ball.Pointwise
URI: https://scilib.ai/kg/mathlib#diam_smul₀
← MathLib Explorer