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