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