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