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