∫ Утверждение Mathlib
lTensor_bij_iff_rTensor_bij
Mathlib.LinearAlgebra.TensorProduct.Basic
URI: https://scilib.ai/kg/mathlib#LinearMap.lTensor_bij_iff_rTensor_bij
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.TensorProduct.Basic
URI: https://scilib.ai/kg/mathlib#LinearMap.lTensor_bij_iff_rTensor_bij