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