∫ Утверждение Mathlib
instNormedSpace
Mathlib.Analysis.NormedSpace.PiTensorProduct.InjectiveSeminorm
URI: https://scilib.ai/kg/mathlib#PiTensorProduct.instNormedSpace
∫ Утверждение Mathlib
Mathlib.Analysis.NormedSpace.PiTensorProduct.InjectiveSeminorm
URI: https://scilib.ai/kg/mathlib#PiTensorProduct.instNormedSpace