∫ Утверждение Mathlib
nnnorm_def
Mathlib.Analysis.Normed.Algebra.Unitization
URI: https://scilib.ai/kg/mathlib#Unitization.nnnorm_def
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Algebra.Unitization
URI: https://scilib.ai/kg/mathlib#Unitization.nnnorm_def